merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rAFP23cea759a145: New set theory lemmas about cardinality (mainly)
rAFP29febbf375f9: Another attempt for a consolidated terminology. - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.