OAI/Geometry/CylinderCovering/Caps/CertificatesDefinitions.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.CylinderCovering.HalfheightCertificates.Space line 9
2. def OAI.CylinderCovering.HalfheightCertificates.IsTrapezoid line 11
3. def OAI.CylinderCovering.HalfheightCertificates.ShapeStatement line 18
4. def OAI.CylinderCovering.HalfheightCertificates.QuantitativeStatement line 27
5. def OAI.CylinderCovering.HalfheightCertificates.Statement line 46