OAI/Geometry/EinsteinFour/FourHeatGaussianSquare.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Exact L2 mass of the four-dimensional heat Gaussian.

  1. theorem OAI.PositiveEinsteinFour.Geometry.fourHeatGaussian_square_integrable line 13
  2. theorem OAI.PositiveEinsteinFour.Geometry.fourHeatGaussian_square_mass line 18