Minor updates supplied by the author, mostly connected with a reference to a work by Hilbert, now deleted.
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rAFP293f007783a1: Add a construction, using ZFC_in_HOL, of the category of small sets and…
- Branches
- Unknown
- Tags