OAI/Geometry/CylinderCovering/Singular/
257 declarations, 0 contain sorry, 0 declared as axioms; 29 files
Files
- Basic.lean 5 declarations
- BasicDefinitions.lean 6 declarations
- Cost.lean 19 declarations
- Cutoff.lean 17 declarations
- CutoffDefinitions.lean 6 declarations
- EdgeOne.lean 40 declarations
- EdgeOneCost.lean 9 declarations
- EdgeOneCover.lean 25 declarations
- EdgeOneCoverDefinitions.lean 16 declarations
- EdgeOneDefinitions.lean 12 declarations
- EdgeOneDifferential.lean 17 declarations
- EdgeOneDifferentialDefinitions.lean 3 declarations
- EdgeOneGeometry.lean 19 declarations
- EdgeOneGeometryDefinitions.lean 8 declarations
- EdgeOneNormalization.lean 7 declarations
- EdgeOneNormalizationDefinitions.lean 1 declarations
- EdgeOneResults.lean 4 declarations
- EdgeOneResultsDefinitions.lean 1 declarations
- Endpoint.lean 4 declarations
- Extensions.lean 1 declarations
- ExtensionsDefinitions.lean 1 declarations
- Hessian.lean 5 declarations
- HessianDefinitions.lean 2 declarations
- Orthogonal.lean 6 declarations
- OverlapRemainder.lean 2 declarations
- ParameterRange.lean 11 declarations
- ParameterRangeDefinitions.lean 1 declarations
- Stream.lean 8 declarations
- StreamDefinitions.lean 1 declarations