OAI/Geometry/CylinderCovering/Rational/ConstructionDefinitions.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SlopeRational.coefficientGap line 14
2. def OAI.SlopeRational.AdmissiblePadding line 16
3. def OAI.SlopeRational.HasStrictFiniteCover line 21
4. def OAI.SlopeRational.AsymptoticStatement line 32
5. def OAI.SlopeRational.ApproximationEligibilityStatement line 43
6. def OAI.SlopeRational.PaddingSchedulesStatement line 54
7. def OAI.SlopeRational.ConstructionStatement line 65