OAI/Geometry/RCD/Metric/FixedGaugeLocalSourceMass.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Uniform local source mass of the fixed-gauge heat potentials

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