OAI/Geometry/CylinderCovering/Physical/PaddedFiniteDefinitions.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RadialPhysical.paddedNumerator line 11
2. def OAI.RadialPhysical.physicalPaddedCap line 15
3. def OAI.RadialPhysical.PaddedFiniteAt line 19
4. def OAI.RadialPhysical.PaddedStrictFiniteAt line 27
5. def OAI.RadialPhysical.PaddedNormalizedFiniteAt line 40
6. structure OAI.RadialPhysical.PhysicalPaddedFiniteStatement line 51