OAI/MeasureTheory/Falconer/Geometry/RootSimilarityGeometry.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PlanarFalconer.DyadicSquare.dilate line 9
  2. theorem OAI.PlanarFalconer.DyadicSquare.dilate_center line 12
  3. theorem OAI.PlanarFalconer.DyadicSquare.dilate_child line 17
  4. theorem OAI.PlanarFalconer.DyadicSquare.dilate_descendant line 21
  5. theorem OAI.PlanarFalconer.DyadicSquare.mem_dilate line 28
  6. theorem OAI.PlanarFalconer.DyadicSquare.dilate_carrier_preimage line 35
  7. theorem OAI.PlanarFalconer.DyadicSquare.dilate_carrier_image line 40
  8. theorem OAI.PlanarFalconer.DyadicSquare.dilate_descendant_mass line 51
  9. theorem OAI.PlanarFalconer.sourceRadialUnit_dilate line 58
  10. theorem OAI.PlanarFalconer.sourceParentAxis_dilate line 72
  11. theorem OAI.PlanarFalconer.rootPatchEnvelope_dilate line 77
  12. theorem OAI.PlanarFalconer.normalized_root_patch_geometry line 82