OAI/Geometry/CylinderCovering/Physical/PairedDefinitions.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CylinderCovering.UnitEdgeFootprints.linearReflection line 9
  2. def OAI.CylinderCovering.UnitEdgeFootprints.reflection line 11
  3. def OAI.CylinderCovering.UnitEdgeFootprints.secondRepresentedPoint line 13
  4. def OAI.CylinderCovering.UnitEdgeFootprints.secondSweep line 16
  5. def OAI.CylinderCovering.UnitEdgeFootprints.secondAxis line 20
  6. def OAI.CylinderCovering.UnitEdgeFootprints.secondBase line 22
  7. def OAI.CylinderCovering.UnitEdgeFootprints.PairedFamilyStatement line 25
  8. def OAI.CylinderCovering.UnitEdgeFootprints.tetrahedron line 43
  9. def OAI.CylinderCovering.UnitEdgeFootprints.CoverageStatement line 47
  10. def OAI.CylinderCovering.UnitEdgeFootprints.FiniteStrictStatement line 51
  11. def OAI.CylinderCovering.UnitEdgeFootprints.FullStatement line 61