OAI/Geometry/Convex/GeneralMahler/Compare.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

Layer evaluation comparisons (16).

  1. lemma OAI.GeneralMahler.pj_I line 13
  2. lemma OAI.GeneralMahler.FieldMat.eval_scale line 20
  3. lemma OAI.GeneralMahler.FieldMat.eval_mul line 23
  4. lemma OAI.GeneralMahler.FieldMat.eval_sub line 27
  5. lemma OAI.GeneralMahler.FieldMat.eval_const line 31
  6. lemma OAI.GeneralMahler.FieldMat.ccomm line 34
  7. def OAI.GeneralMahler.ProjField.BDiff line 38
  8. def OAI.GeneralMahler.ProjField.LDel line 39
  9. lemma OAI.GeneralMahler.ProjField.mb_plus line 41
  10. lemma OAI.GeneralMahler.ProjField.delta_reg line 44
  11. lemma OAI.GeneralMahler.ProjField.mb_reg line 47
  12. lemma OAI.GeneralMahler.ProjField.proj_int line 55
  13. lemma OAI.GeneralMahler.ProjField.etwReg line 62
  14. lemma OAI.GeneralMahler.ProjField.mb_ibp line 65
  15. lemma OAI.GeneralMahler.ProjField.mb_comp line 92
  16. lemma OAI.GeneralMahler.ProjField.etw_H line 101
  17. lemma OAI.GeneralMahler.ProjField.etw16a line 106
  18. lemma OAI.GeneralMahler.ProjField.Delta_sub line 112
  19. lemma OAI.GeneralMahler.ProjField.f_pair16 line 120