OAI/MeasureTheory/Falconer/Measures/SimilarityMeasures.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Original measure and radial-cap transport under a common similarity

  1. theorem OAI.Falconer.homeomorph_support_map_subset line 13
  2. theorem OAI.Falconer.pairHomeomorph_mem_image line 20
  3. theorem OAI.Falconer.homeomorph_pair_measure_image line 25
  4. theorem OAI.Falconer.scaledIsometry_frostman line 33
  5. theorem OAI.Falconer.scaledIsometry_radial_dist line 44
  6. theorem OAI.Falconer.RadialCapBound.scaledIsometry line 53
  7. theorem OAI.Falconer.CapAvailable.scaledIsometry line 86