OAI/Geometry/ProjectionVolume/Main.lean
0 declarations, 0 contain sorry, 0 declared as axioms
This file declares nothing itself. It gathers the 25 imports below, so a file that imports it gets all of them.
Imports
- OAI.Geometry.ProjectionVolume.SimplexCounterexample
- OAI.Geometry.ProjectionVolume.CounterexampleComparison
- OAI.Geometry.ProjectionVolume.PolytopeTheorems
- OAI.Geometry.ProjectionVolume.SupportLimit
- OAI.Geometry.ProjectionVolume.ProjectionInterior
- OAI.Geometry.ProjectionVolume.SimplexProduct
- OAI.Geometry.ProjectionVolume.PolarRepresentation
- OAI.Geometry.ProjectionVolume.CubeBrightness
- OAI.Geometry.ProjectionVolume.PolytopeFaceGeometry
- OAI.Geometry.ProjectionVolume.InnerSequence
- OAI.Geometry.ProjectionVolume.SequenceLimits
- OAI.Geometry.ProjectionVolume.LinearApproximation
- OAI.Geometry.ProjectionVolume.FacetLinearImage
- OAI.Geometry.ProjectionVolume.PolytopeFacets
- OAI.Geometry.ProjectionVolume.SeparationIdentities
- OAI.Geometry.ProjectionVolume.ProductFacetFamilies
- OAI.Geometry.ProjectionVolume.CubeFibers
- OAI.Geometry.ProjectionVolume.CoordinateDrop
- OAI.Geometry.ProjectionVolume.AreaNormalVectors
- OAI.Geometry.ProjectionVolume.FacetPrism
- OAI.Geometry.ProjectionVolume.AugmentedDeterminant
- OAI.Geometry.ProjectionVolume.ProjectionNullity
- OAI.Geometry.ProjectionVolume.PolytopeIncidence
- OAI.Geometry.ProjectionVolume.FacetBijection
- OAI.Geometry.ProjectionVolume.FacetDimension