OAI/Geometry/Convex/GeneralMahler/Intervals/Log.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.GeneralMahler.Cert.IV.mtwo line 7
  2. lemma OAI.GeneralMahler.Cert.IV.mhalf line 8
  3. def OAI.GeneralMahler.Cert.IV.seriesL line 10
  4. def OAI.GeneralMahler.Cert.IV.logY line 13
  5. def OAI.GeneralMahler.Cert.IV.lob line 14
  6. def OAI.GeneralMahler.Cert.IV.errLog line 15
  7. def OAI.GeneralMahler.Cert.IV.lbox0 line 16
  8. lemma OAI.GeneralMahler.Cert.IV.mseriesL line 18
  9. lemma OAI.GeneralMahler.Cert.IV.mlbox0 line 29
  10. def OAI.GeneralMahler.Cert.IV.lbox line 56
  11. lemma OAI.GeneralMahler.Cert.IV.mlbox line 62