OAI/Geometry/RuledCovering/
301 declarations, 0 contain sorry, 0 declared as axioms; 30 files
Files
- CapAsymptotics.lean 12 declarations
- ConeVolume.lean 8 declarations
- ConvexBases.lean 6 declarations
- EnergyIntegral.lean 11 declarations
- Frames.lean 8 declarations
- Hyperbolic.lean 6 declarations
- HyperbolicCover.lean 17 declarations
- HyperbolicLattice.lean 4 declarations
- Isometries.lean 12 declarations
- Lattice.lean 8 declarations
- LocalApproximation.lean 5 declarations
- LocalCover.lean 2 declarations
- Main.lean 1 declarations
- Model.lean 46 declarations
- Nilpotent.lean 5 declarations
- NilpotentLattice.lean 7 declarations
- OuterApproximation.lean 5 declarations
- PlanarIntegration.lean 11 declarations
- Projection.lean 33 declarations
- Singular.lean 5 declarations
- SingularAsymptotics.lean 4 declarations
- SingularBounds.lean 11 declarations
- SingularEnergy.lean 17 declarations
- SingularField.lean 16 declarations
- SingularGeometry.lean 1 declarations
- SingularInverse.lean 2 declarations
- SingularOverlap.lean 8 declarations
- SpecializedCover.lean 11 declarations
- SquareCover.lean 5 declarations
- TipCylinders.lean 14 declarations