OAI/MeasureTheory/Falconer/Shells/TwoRootClassMixture.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PlanarFalconer.twoRootClassCoefficient line 11
2. def OAI.PlanarFalconer.twoRootClassMeasure line 15
3. theorem OAI.PlanarFalconer.twoRootClassMeasure_mask line 22
4. theorem OAI.PlanarFalconer.twoRootClassCoefficient_sum_le_one line 38
5. theorem OAI.PlanarFalconer.twoRootClassCoefficient_prod line 51
6. theorem OAI.PlanarFalconer.twoRootClassCoefficient_measure line 61
7. theorem OAI.PlanarFalconer.restoredTwoRootCandidate_eq_sum line 82
8. theorem OAI.PlanarFalconer.restoredTwoRootCandidate_empty line 100