Add a construction, using ZFC_in_HOL, of the category of small sets and functions.
Description
Description
Details
Details
- Provenance
Eugene W. Stark <stark@cs.stonybrook.edu> Authored on - Parents
- rAFPc250cee7c7ad: Resolve a "Duplicate constant declaration" issue that occurs with "isabelle…
- Branches
- Unknown
- Tags