OAI/Geometry/Cannon/Topology/
58 declarations, 0 contain sorry, 0 declared as axioms; 12 files
Files
- CenteredHomeomorph.lean 19 declarations
- ComponentRegionConnected.lean 1 declarations
- EquicontinuousCompactBound.lean 1 declarations
- ExteriorConnected.lean 1 declarations
- Glue.lean 2 declarations
- LabelsConstant.lean 1 declarations
- NoTripleClosedBalls.lean 4 declarations
- Plane.lean 7 declarations
- PlaneBox.lean 16 declarations
- Retraction.lean 2 declarations
- ThreeMarksAvoidTwo.lean 2 declarations
- ThreeSeparation.lean 2 declarations