OAI/Analysis/RieszRectifiability/Foundations/CapErrorRows.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Cap-error row bounds

The closed near-cap weight is constant on a closed ball and vanishes outside it. Upper growth bounds give integrability of each row and a scale-independent integral bound.

  1. theorem OAI.RieszRectifiability.closedNearCapWeight_section line 20
  2. theorem OAI.RieszRectifiability.closedNearCapWeight_row_integrable_and_bound line 31