OAI/Analysis/JiangSu/DimensionFunctions/
77 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Files
- ContinuousDimensionIntegral.lean 3 declarations
- DimensionContent.lean 6 declarations
- DimensionContentMeasure.lean 5 declarations
- FiniteSpectralIntegral.lean 11 declarations
- FiniteSpectralIntegralAbelian.lean 2 declarations
- FiniteSpectralIntegralBounds.lean 15 declarations
- FiniteSpectralIntegralCommuting.lean 6 declarations
- FiniteSpectralIntegralContinuity.lean 3 declarations
- FiniteSpectralIntegralOrthogonal.lean 9 declarations
- FiniteSpectralIntegralPositivity.lean 13 declarations
- FiniteSpectralIntegralRootBounds.lean 4 declarations