OAI/Geometry/Borsuk/Projectors/
133 declarations, 0 contain sorry, 0 declared as axioms; 18 files
Files
- Basic.lean 24 declarations
- ChartSurgery.lean 1 declarations
- CompactLocalHomotopy.lean 1 declarations
- CompactTargetHits.lean 11 declarations
- CoordinateSum.lean 10 declarations
- FiniteClosedCutoffs.lean 1 declarations
- FiniteOpenGlue.lean 4 declarations
- FinitePatch.lean 8 declarations
- FiniteSmoothSliceMisses.lean 1 declarations
- FiniteSmoothSliceMissesBounded.lean 2 declarations
- NegativeQuadratic.lean 20 declarations
- NullImage.lean 7 declarations
- RaySet.lean 8 declarations
- Restrict.lean 5 declarations
- SimplexPoint.lean 7 declarations
- Tangent.lean 11 declarations
- TenPure.lean 4 declarations
- Within.lean 8 declarations