OAI/Geometry/CylinderCovering/Beams/MainDefinitions.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ShortenedBeam.HasTriangularBase line 12
2. def OAI.ShortenedBeam.HasMixedBase line 17
3. def OAI.ShortenedBeam.FiniteStripStatement line 20
4. def OAI.ShortenedBeam.CoreFiniteMixedStatement line 25
5. def OAI.ShortenedBeam.CanonicalCounterexampleStatement line 31
6. def OAI.ShortenedBeam.RegularMixedCounterexampleStatement line 36