OAI/Geometry/CAT0Fillings/Radial/
100 declarations, 0 contain sorry, 0 declared as axioms; 23 files
Files
- ChartMass.lean 3 declarations
- ClosedInequality.lean 9 declarations
- Extension.lean 11 declarations
- FirstVariation.lean 1 declarations
- Integrability.lean 3 declarations
- IntegralDerivative.lean 3 declarations
- IntrinsicSlope.lean 4 declarations
- MassComparison.lean 2 declarations
- MeasurableBound.lean 3 declarations
- MetricBound.lean 4 declarations
- MetricDerivative.lean 6 declarations
- MetricSlope.lean 5 declarations
- NormalizedDerivative.lean 2 declarations
- ScalarDerivative.lean 2 declarations
- SeriesDerivative.lean 3 declarations
- SpatialBound.lean 5 declarations
- SpatialForm.lean 6 declarations
- TestBound.lean 3 declarations
- TotalBound.lean 8 declarations
- TotalDeterminant.lean 3 declarations
- TotalForm.lean 6 declarations
- UniformSlope.lean 6 declarations
- WholeMass.lean 2 declarations