OAI/Geometry/RCD/Heat/GaussianActionSlack.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Uniform error when the Gaussian exponent approaches the sharp value

  1. theorem OAI.RegularPointCoordinates.gaussian_action_slack line 9