OAI/Geometry/CylinderCovering/Ruled/
274 declarations, 0 contain sorry, 0 declared as axioms; 31 files
Files
- BoundaryCertificates.lean 7 declarations
- C1Definitions.lean 1 declarations
- CellArea.lean 21 declarations
- CellCoordinates.lean 15 declarations
- CellCost.lean 16 declarations
- CellGeometry.lean 21 declarations
- CellsDefinitions.lean 18 declarations
- Comparison.lean 13 declarations
- ComparisonDefinitions.lean 6 declarations
- EigenframeGeometry.lean 7 declarations
- Fubini.lean 5 declarations
- Jacobian.lean 7 declarations
- Local.lean 7 declarations
- LocalCylinder.lean 5 declarations
- LocalDefinitions.lean 3 declarations
- LocalEndpoint.lean 3 declarations
- LocalGeometry.lean 6 declarations
- LogarithmicLocalDefinitions.lean 4 declarations
- MotionJacobian.lean 5 declarations
- NullDomain.lean 3 declarations
- Patch.lean 6 declarations
- Projection.lean 17 declarations
- ProjectionDefinitions.lean 1 declarations
- Remainder.lean 2 declarations
- Retention.lean 21 declarations
- RetentionArea.lean 8 declarations
- Similarity.lean 27 declarations
- SquareArea.lean 7 declarations
- WeightedCost.lean 7 declarations
- ZeroDiagonal.lean 4 declarations
- ZeroDiagonalDefinitions.lean 1 declarations