OAI/Geometry/PrescribedPotential/QuasilinearHighResiduals.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Quasilinear High Residuals.

  1. lemma OAI.HigherJet.coefficient_prefactor line 23
  2. lemma OAI.HigherJet.high_coefficient_bounds line 31
  3. lemma OAI.HigherJet.quasilinear_high_residual line 81