OAI/Geometry/EinsteinFour/ScalarIntegerEllipticGain.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The localized integer-order elliptic bootstrap on one fixed half ball.

  1. theorem OAI.PositiveEinsteinFour.Geometry.scalar_half_ball_integer_forcing_gain line 21