OAI/MeasureTheory/Falconer/Estimates/FrechetProductScale.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PlanarFalconer.frechet_mul_scale_on line 11
2. theorem OAI.PlanarFalconer.frechet_conj_norm line 33