OAI/Geometry/Convex/GeneralMahler/Scalar/Run0.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.GeneralMahler.SCal.Grid.Nodes.by0_2 line 5
2. lemma OAI.GeneralMahler.SCal.Grid.Nodes.by2_5 line 9
3. lemma OAI.GeneralMahler.SCal.Grid.Nodes.by0_5 line 13
4. lemma OAI.GeneralMahler.SCal.Grid.Nodes.by5_7 line 14
5. lemma OAI.GeneralMahler.SCal.Grid.Nodes.by7_10 line 18
6. lemma OAI.GeneralMahler.SCal.Grid.Nodes.by5_10 line 22
7. lemma OAI.GeneralMahler.SCal.Grid.Nodes.by0_10 line 23
8. lemma OAI.GeneralMahler.SCal.Grid.Nodes.by10_12 line 24
9. lemma OAI.GeneralMahler.SCal.Grid.Nodes.by12_15 line 28
10. lemma OAI.GeneralMahler.SCal.Grid.Nodes.by10_15 line 32
11. lemma OAI.GeneralMahler.SCal.Grid.Nodes.by15_17 line 33
12. lemma OAI.GeneralMahler.SCal.Grid.Nodes.by17_20 line 37
13. lemma OAI.GeneralMahler.SCal.Grid.Nodes.by15_20 line 41
14. lemma OAI.GeneralMahler.SCal.Grid.Nodes.by10_20 line 42
15. lemma OAI.GeneralMahler.SCal.Grid.Nodes.by0_20 line 43