OAI/Analysis/JiangSu/DimensionFunctions/DimensionContentMeasure.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Pureness.dimensionCompactCapacity_sup_disjoint line 17
2. def OAI.Pureness.dimensionContent line 56
3. lemma OAI.Pureness.dimensionContent_apply line 70
4. def OAI.Pureness.continuousNNRealCut line 85
5. theorem OAI.Pureness.dimensionContent_measure_support line 90