OAI/Geometry/CylinderCovering/Beams/FullDefinitions.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ShortenedBeam.vertices line 10
  2. def OAI.ShortenedBeam.GeometryStatement line 13
  3. abbrev OAI.ShortenedBeam.MixedShape line 19
  4. def OAI.ShortenedBeam.FiniteMixedStatement line 21
  5. abbrev OAI.ShortenedBeam.RegularCounterexampleStatement line 30
  6. abbrev OAI.ShortenedBeam.ParameterPlane line 32
  7. def OAI.ShortenedBeam.doubleSector line 34
  8. def OAI.ShortenedBeam.midpointTag line 39
  9. def OAI.ShortenedBeam.neighborhoodSector line 43
  10. def OAI.ShortenedBeam.neighborhoodBaseMinus line 46
  11. def OAI.ShortenedBeam.neighborhoodBasePlus line 50
  12. def OAI.ShortenedBeam.NeighborhoodAlternativeStatement line 54
  13. def OAI.ShortenedBeam.FullStatement line 71