OAI/Geometry/CylinderCovering/Nilpotent/ConstructionDefinitions.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CylinderCovering.Nilpotent.SweepCoverageStatement line 16
  2. def OAI.CylinderCovering.Nilpotent.AngularFieldStatement line 20
  3. def OAI.CylinderCovering.Nilpotent.IntegralCostStatement line 33
  4. def OAI.CylinderCovering.Nilpotent.AuxiliaryApexStatement line 42
  5. def OAI.CylinderCovering.Nilpotent.PhysicalSimilarityStatement line 55
  6. def OAI.CylinderCovering.Nilpotent.FiniteCounterexampleStatement line 66
  7. def OAI.CylinderCovering.Nilpotent.FullConstructionStatement line 72