MIL/C04_Sets_and_Functions/
135 declarations, 42 contain sorry, 0 declared as axioms; 6 files
Folders
- solutions/ 3 files, 50 declarations
Files
- S01_Sets.lean 42 declarations
- S02_Functions.lean 36 declarations
- S03_The_Schroeder_Bernstein_Theorem.lean 7 declarations