OAI/Geometry/ProjectionVolume/
577 declarations, 0 contain sorry, 0 declared as axioms; 81 files
Files
- AffineBrightness.lean 12 declarations
- AffineCovariance.lean 5 declarations
- ApproximationBounds.lean 9 declarations
- AreaNormalVectors.lean 5 declarations
- Arithmetic.lean 3 declarations
- AugmentedDeterminant.lean 5 declarations
- BallBrightness.lean 7 declarations
- Basic.lean 2 declarations
- Brightness.lean 19 declarations
- CoordinateDrop.lean 9 declarations
- CounterexampleComparison.lean 1 declarations
- CubeBrightness.lean 20 declarations
- CubeFibers.lean 10 declarations
- EuclideanVolume.lean 3 declarations
- ExposedBounds.lean 3 declarations
- ExposedProduct.lean 7 declarations
- Extrusion.lean 18 declarations
- FacetAreas.lean 13 declarations
- FacetBijection.lean 4 declarations
- FacetDimension.lean 5 declarations
- FacetExhaustiveness.lean 3 declarations
- FacetLinearImage.lean 9 declarations
- FacetPrism.lean 7 declarations
- FacetUniqueness.lean 2 declarations
- FiniteApproximation.lean 4 declarations
- FiniteVertices.lean 4 declarations
- GeneralProduct.lean 5 declarations
- InnerSequence.lean 8 declarations
- LinearApproximation.lean 2 declarations
- Main.lean 25 imports, no declarations
- Model.lean 11 declarations
- OuterApproximation.lean 6 declarations
- PolarRepresentation.lean 8 declarations
- PolytopeCauchy.lean 10 declarations
- PolytopeDefinitions.lean 5 declarations
- PolytopeFaceGeometry.lean 6 declarations
- PolytopeFacets.lean 1 declarations
- PolytopeFront.lean 23 declarations
- PolytopeIncidence.lean 11 declarations
- PolytopeOperations.lean 4 declarations
- PolytopeTheorems.lean 2 declarations
- PrismVolume.lean 6 declarations
- ProductArea.lean 2 declarations
- ProductBrightness.lean 2 declarations
- ProductCoefficients.lean 2 declarations
- ProductCounterexample.lean 4 declarations
- ProductDefinition.lean 1 declarations
- ProductFacetAreaValues.lean 5 declarations
- ProductFacetAreas.lean 18 declarations
- ProductFacetFamilies.lean 2 declarations
- ProductFacetGeometry.lean 2 declarations
- ProductFacets.lean 7 declarations
- ProductNormals.lean 15 declarations
- ProductPolytope.lean 21 declarations
- ProductProjection.lean 24 declarations
- ProductReconstruction.lean 4 declarations
- ProductVolume.lean 5 declarations
- ProductVolumeGeneral.lean 5 declarations
- ProductZonotope.lean 11 declarations
- ProjectionCoefficients.lean 3 declarations
- ProjectionInterior.lean 3 declarations
- ProjectionJacobian.lean 7 declarations
- ProjectionNullity.lean 6 declarations
- ProjectionReconstruction.lean 1 declarations
- SeparationIdentities.lean 4 declarations
- SequenceLimits.lean 8 declarations
- SimplexAffine.lean 3 declarations
- SimplexBrightness.lean 3 declarations
- SimplexCoordinates.lean 1 declarations
- SimplexCounterexample.lean 1 declarations
- SimplexGeometry.lean 11 declarations
- SimplexNormals.lean 11 declarations
- SimplexPolytope.lean 5 declarations
- SimplexProduct.lean 3 declarations
- SimplexProjection.lean 26 declarations
- SimplexValue.lean 3 declarations
- SimplexVolume.lean 14 declarations
- SimplexZonotope.lean 12 declarations
- SupportGeometry.lean 18 declarations
- SupportLimit.lean 3 declarations
- Translation.lean 4 declarations