OAI/Geometry/CAT0Fillings/Chord/
136 declarations, 0 contain sorry, 0 declared as axioms; 17 files
Files
- AverageProfile.lean 9 declarations
- Barycenter.lean 6 declarations
- Bubble.lean 12 declarations
- Combined.lean 5 declarations
- DensityContradiction.lean 3 declarations
- Distribution.lean 2 declarations
- DoubleAverage.lean 8 declarations
- Fubini.lean 40 declarations
- GroundProducts.lean 5 declarations
- GroundState.lean 2 declarations
- Identity.lean 7 declarations
- Moments.lean 8 declarations
- NonnegativeMeasure.lean 7 declarations
- Profile.lean 3 declarations
- ProfileBound.lean 6 declarations
- RadialIntegral.lean 7 declarations
- TestIdentity.lean 6 declarations