OAI/Topology/Homotopy/
270 declarations, 0 contain sorry, 0 declared as axioms; 10 files
Files
- BasedMaps.lean 9 declarations
- ConeHomotopy.lean 31 declarations
- CubicalNullity.lean 26 declarations
- CubicalSpheres.lean 31 declarations
- FiberCone.lean 70 declarations
- FiberKernel.lean 2 declarations
- HomotopyFiber.lean 37 declarations
- LoopHomotopy.lean 12 declarations
- OpenCollapse.lean 11 declarations
- RayTelescope.lean 41 declarations