OAI/Analysis/RieszRectifiability/Surfaces/MatchedSurfaceCellPlanes.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Matched planes for support-cell descendants

Pointwise geometric fits select an affine plane through every descendant center. The root plane retains the projected disk coverage supplied by the same choice.

  1. theorem OAI.RieszRectifiability.exists_matched_surface_cell_planes line 19