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

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

Smooth growth and reflection for all profiles.

  1. lemma OAI.GeneralMahler.SCal.root_reg line 10
  2. lemma OAI.GeneralMahler.SCal.q_reg line 32
  3. lemma OAI.GeneralMahler.SCal.ua_reg line 36
  4. lemma OAI.GeneralMahler.SCal.ucs_reg line 50
  5. lemma OAI.GeneralMahler.SCal.Geven line 65
  6. lemma OAI.GeneralMahler.SCal.Deven line 70
  7. lemma OAI.GeneralMahler.SCal.Reven line 74
  8. lemma OAI.GeneralMahler.SCal.Keven line 75
  9. lemma OAI.GeneralMahler.SCal.Ceven line 76
  10. lemma OAI.GeneralMahler.SCal.Qeven line 78
  11. lemma OAI.GeneralMahler.SCal.uc_ref line 79
  12. lemma OAI.GeneralMahler.SCal.us_ref line 80
  13. lemma OAI.GeneralMahler.SCal.N_ref line 81
  14. lemma OAI.GeneralMahler.SCal.lift_ref line 84
  15. lemma OAI.GeneralMahler.SCal.x_neg line 86
  16. lemma OAI.GeneralMahler.SCal.a_neg line 87
  17. lemma OAI.GeneralMahler.SCal.t_ref line 88
  18. def OAI.GeneralMahler.SCal.Tag.odd line 99
  19. lemma OAI.GeneralMahler.SCal.Tag.TvEv line 102
  20. lemma OAI.GeneralMahler.SCal.Tag.TvOd line 116