MIL/C11_Topology/
152 declarations, 14 contain sorry, 0 declared as axioms; 6 files
Folders
- solutions/ 3 files, 72 declarations
Files
- S01_Filters.lean 16 declarations
- S02_Metric_Spaces.lean 33 declarations
- S03_Topological_Spaces.lean 31 declarations