OAI/Geometry/PrescribedPotential/ResidualFamilyBootstrap.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Residual Family Bootstrap.

  1. lemma OAI.HigherJet.residual_family_low_energy line 21
  2. lemma OAI.HigherJet.residual_family_high_energy line 72
  3. lemma OAI.HigherJet.residual_family_bootstrap line 97