OAI/Geometry/RCD/Transport/DimensionalExpansion.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Two-speed transport expansion for the actual RCD heat semigroup

  1. theorem OAI.RegularPointCoordinates.NoncollapsedRCD.heat_dimensional_expansion_positive line 15