OAI/Geometry/RCD/Heat/AnnularHeatAverages.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Interior averages of heat evolutions of annular sources

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