OAI/Geometry/CylinderCovering/Rational/EqualityCoverDefinitions.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SlopeRational.EqualityCover.labelTriangle line 11
  2. def OAI.SlopeRational.EqualityCover.firstBase line 14
  3. def OAI.SlopeRational.EqualityCover.secondBase line 18
  4. def OAI.SlopeRational.EqualityCover.firstAxis line 20
  5. def OAI.SlopeRational.EqualityCover.secondAxis line 22
  6. def OAI.SlopeRational.EqualityCover.Statement line 24