OAI/Geometry/RCD/Heat/GaussianDensityTailMoments.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

One tail radius controls every integer density moment

The radius is independent of the member of the family and of the exponent.

  1. theorem OAI.RegularPointCoordinates.gaussian_density_tail_moments line 17