OAI/Geometry/EinsteinFour/ScalarH2EllipticGain.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Local H4 elliptic gain for a second-order Sobolev source.

  1. theorem OAI.PositiveEinsteinFour.Geometry.scalar_ball_H2_forcing_gain line 20