OAI/Analysis/RieszRectifiability/Flatness/PlaneChangeCoverage.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Disk coverage after changing the reference plane

A graph with small normal Lipschitz constant projects onto a smaller disk in a nearby plane. Coverage follows from the Lipschitz perturbation bound for its transferred parameter map.

  1. theorem OAI.RieszRectifiability.graph_covers_changed_plane_disk line 22