OAI/Geometry/RCD/Heat/HeatReferenceEVI.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Dimensional EVI against another actual heat law

The bounded reference laws converge in entropy and uniformly in transport cost on each compact time interval. The continuous dimensional rate passes through the interval integral, including at zero transport distance.

  1. theorem OAI.RegularPointCoordinates.NoncollapsedRCD.heat_reference_dimensional_EVI line 20