OAI/Geometry/RCD/Sobolev/SupportedGammaIntegral.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Restricting a mixed energy to the support of its test

  1. theorem OAI.RegularPointCoordinates.supported_gamma_integral line 12