OAI/MathematicalPhysics/AlternatingFlow/ProfileNames.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AlternatingNS.Effective.rat_max line 13
2. lemma OAI.AlternatingNS.Effective.Named.inv_of_lower line 16
3. lemma OAI.AlternatingNS.Effective.Named.sum_range line 56
4. lemma OAI.AlternatingNS.Effective.rho_named line 76
5. lemma OAI.AlternatingNS.Effective.transition_named line 82
6. lemma OAI.AlternatingNS.Effective.jet_one_lipschitz line 89
7. lemma OAI.AlternatingNS.Effective.Named.transition line 99