OAI/MeasureTheory/Falconer/Measures/ExtendedDensityNorm.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PlanarFalconer.sourceDensityNorm line 9
2. theorem OAI.PlanarFalconer.sourceTestNorm_le_rnDeriv_norm line 15
3. theorem OAI.PlanarFalconer.sourceTestNorm_eq_densityNorm line 51
4. theorem OAI.PlanarFalconer.sourceDensityNorm_exists_density line 64