OAI/MathematicalPhysics/AlternatingFlow/ForceNames.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AlternatingNS.Effective.JetBound.named_fullDt line 14
2. lemma OAI.AlternatingNS.Effective.JetBound.named_dx line 25
3. lemma OAI.AlternatingNS.Effective.Named.sum3 line 36
4. lemma OAI.AlternatingNS.Effective.Certified.named_advection line 40
5. lemma OAI.AlternatingNS.Effective.Certified.named_laplacian line 52
6. lemma OAI.AlternatingNS.Effective.Named.computableReal_const line 59
7. lemma OAI.AlternatingNS.Effective.force_named line 67