OAI/Geometry/ProjectionBodies/
1112 declarations, 0 contain sorry, 0 declared as axioms; 33 files
Files
- AffineCovariance.lean 17 declarations
- AffinePosition.lean 36 declarations
- BilinearEquality.lean 21 declarations
- Brouwer.lean 6 declarations
- BrunnMinkowski.lean 19 declarations
- CosineCalculus.lean 25 declarations
- CosineSpectrum.lean 37 declarations
- FixedPointCalculus.lean 41 declarations
- GaussianMeasures.lean 24 declarations
- Homothety.lean 26 declarations
- Main.lean 3 declarations
- Model.lean 11 declarations
- NormCurvature.lean 30 declarations
- NormEstimates.lean 30 declarations
- NormRigidity.lean 36 declarations
- Normalization.lean 25 declarations
- PositionMatrices.lean 47 declarations
- RankContinuity.lean 24 declarations
- RelativeGauges.lean 52 declarations
- ScalarBounds.lean 100 declarations
- ScalarCalculus.lean 26 declarations
- SeminormBounds.lean 43 declarations
- ShadowSlices.lean 28 declarations
- SignCalculus.lean 41 declarations
- SignSpectrum.lean 43 declarations
- SliceTransport.lean 21 declarations
- SphericalCore.lean 132 declarations
- SphericalGap.lean 42 declarations
- Support.lean 21 declarations
- SupportMeasures.lean 24 declarations
- VariationalMinimizers.lean 37 declarations
- VariationalRepresentation.lean 18 declarations
- WulffVariation.lean 26 declarations