OAI/Geometry/RCD/Heat/HeatExponentialVariation.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Relative heat estimates for compact exponential variations

  1. theorem OAI.RegularPointCoordinates.exponentialTiltLp_order line 13
  2. theorem OAI.RegularPointCoordinates.exponentialTiltLp_remainder_order line 32
  3. theorem OAI.RegularPointCoordinates.heat_exponentialTilt_relative_order line 79
  4. theorem OAI.RegularPointCoordinates.heat_exponentialTilt_remainder_order line 87