OAI/MathematicalPhysics/Transonic/Shooting/RegularHighRange.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SepticProfile.RegularHighData.range_0 line 10
2. theorem OAI.SepticProfile.RegularHighData.range_16 line 122
3. theorem OAI.SepticProfile.RegularHighData.range_32 line 234
4. theorem OAI.SepticProfile.RegularHighData.range_48 line 346
5. theorem OAI.SepticProfile.RegularHighData.range_64 line 458
6. theorem OAI.SepticProfile.RegularHighData.range_80 line 570
7. theorem OAI.SepticProfile.RegularHighData.range_96 line 682
8. theorem OAI.SepticProfile.RegularHighData.range_112 line 794
9. theorem OAI.SepticProfile.RegularHighData.range_128 line 906
10. theorem OAI.SepticProfile.RegularHighData.range_144 line 1018
11. theorem OAI.SepticProfile.RegularHighData.range_160 line 1130
12. theorem OAI.SepticProfile.RegularHighData.range_176 line 1242
13. theorem OAI.SepticProfile.RegularHighData.range_192 line 1354
14. theorem OAI.SepticProfile.RegularHighData.range_208 line 1466
15. theorem OAI.SepticProfile.RegularHighData.range_224 line 1578
16. theorem OAI.SepticProfile.RegularHighData.full_range line 1634
17. theorem OAI.SepticProfile.RegularHighData.exists_actual_regular line 1740