OAI/Geometry/CylinderCovering/Physical/CapFiniteDefinitions.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RadialPhysical.capChoice line 12
2. def OAI.RadialPhysical.physicalModelCap line 15
3. def OAI.RadialPhysical.physicalHalfReference line 19
4. structure OAI.RadialPhysical.PhysicalFamilyConclusion line 22
5. def OAI.RadialPhysical.PhysicalCapFiniteStatement line 55
6. def OAI.RadialPhysical.PhysicalCapCoverageStatement line 68