`OAI/Geometry/TriangularCovering/`

222 declarations, 0 contain sorry, 0 declared as axioms; 9 files

Files

Asymptotics.lean 18 declarations
Basic.lean 16 declarations
CoordinateCover.lean 44 declarations
CylinderFamily.lean 31 declarations
Main.lean 8 declarations
Projection.lean 21 declarations
Shadows.lean 36 declarations
Tetrahedron.lean 22 declarations
TriangleArea.lean 26 declarations