OAI/Analysis/RieszRectifiability/Surfaces/ParentChartPlaneHeight.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Transferring parent-chart height bounds

For adjacent cell scales, neighboring-plane projection estimates transfer a height bound relative to the parent plane to a quantitative bound relative to the child plane.

  1. theorem OAI.RieszRectifiability.parent_chart_plane_height_transfer line 19