OAI/Geometry/RCD/Metric/FixedGaugeLocalBounds.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Uniform local bounds for the fixed-gauge heat family

  1. theorem OAI.RegularPointCoordinates.NoncollapsedRCD.fixed_gauge_local_bounds line 17