MIL/C08_Hierarchies/
208 declarations, 12 contain sorry, 0 declared as axioms; 6 files
Folders
- solutions/ 3 files, 108 declarations
Files
- S01_Basics.lean 59 declarations
- S02_Morphisms.lean 26 declarations
- S03_Subobjects.lean 15 declarations