OAI/Analysis/RieszRectifiability/Nets/ConstructedSupportCells.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.RieszRectifiability.supportLatticeNets line 13
  2. def OAI.RieszRectifiability.supportLatticeCenter line 18
  3. def OAI.RieszRectifiability.supportLatticeCell line 22
  4. def OAI.RieszRectifiability.supportLatticeAncestor line 26
  5. theorem OAI.RieszRectifiability.supportLatticeNets_monotone line 32
  6. theorem OAI.RieszRectifiability.supportLatticeNets_countable line 37
  7. theorem OAI.RieszRectifiability.supportLatticeCell_closed line 41
  8. theorem OAI.RieszRectifiability.supportLatticeCell_subset_support line 45
  9. theorem OAI.RieszRectifiability.supportLatticeCell_bounds line 49
  10. theorem OAI.RieszRectifiability.supportLatticeCell_cover line 59
  11. theorem OAI.RieszRectifiability.supportLatticeCell_nested line 65
  12. theorem OAI.RieszRectifiability.supportLatticeCell_compact line 71
  13. theorem OAI.RieszRectifiability.supportLatticeCell_measure_bounds line 76