MIL/C08_Hierarchies/solutions/
108 declarations, 1 contain sorry, 0 declared as axioms; 3 files
Files
- Solutions_S01_Basics.lean 61 declarations
- Solutions_S02_Morphisms.lean 26 declarations
- Solutions_S03_Subobjects.lean 21 declarations