OAI/Geometry/ProjectionBody/
189 declarations, 0 contain sorry, 0 declared as axioms; 32 files
Files
- AffineChartMeasure.lean 2 declarations
- Arithmetic.lean 3 declarations
- BrightnessSum.lean 1 declarations
- ConvexGeometry.lean 11 declarations
- Counterexample.lean 11 declarations
- Definitions.lean 5 declarations
- FacetCoordinates.lean 10 declarations
- FacetCover.lean 6 declarations
- FacetMeasure.lean 1 declarations
- GeometryDefinitions.lean 6 declarations
- GraphChart.lean 9 declarations
- GraphJacobian.lean 1 declarations
- GraphProjection.lean 2 declarations
- HyperplaneJacobian.lean 9 declarations
- Main.lean 1 import, no declarations
- NullHyperplane.lean 1 declarations
- ProductBrightness.lean 4 declarations
- ProductFacetCharts.lean 14 declarations
- ProductFacetGraphs.lean 19 declarations
- ProductFacetIndices.lean 4 declarations
- ProductFacetProjection.lean 1 declarations
- ProductFacets.lean 13 declarations
- ProductVolumes.lean 3 declarations
- ProductZonotopeBridge.lean 5 declarations
- ProjectionKernel.lean 2 declarations
- SimplexBrightness.lean 6 declarations
- SimplexFacetCharts.lean 8 declarations
- SimplexFacets.lean 12 declarations
- SimplexVolume.lean 12 declarations
- Specification.lean 5 declarations
- UnitSupport.lean 1 declarations
- ZonotopeBridge.lean 2 declarations