OAI/MathematicalPhysics/AlternatingFlow/VelocityNames.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AlternatingNS.Effective.JetBound.curl_named line 13
2. lemma OAI.AlternatingNS.Effective.loading_named line 30
3. lemma OAI.AlternatingNS.Effective.slot_named line 35
4. lemma OAI.AlternatingNS.Effective.piece_named line 41
5. lemma OAI.AlternatingNS.Effective.clock_bound line 58
6. lemma OAI.AlternatingNS.Effective.pulse_rational_named line 67
7. lemma OAI.AlternatingNS.Effective.velocity_named line 82