`OAI/Geometry/CylinderCovering/Cubic/`

54 declarations, 0 contain sorry, 0 declared as axioms; 8 files

Files

Contraction.lean 11 declarations
LowerGeometry.lean 9 declarations
Profile.lean 3 declarations
Rescaling.lean 8 declarations
RescalingDefinitions.lean 4 declarations
ScalarEstimates.lean 5 declarations
ScaledLaws.lean 5 declarations
Similarity.lean 9 declarations