OAI/Analysis/Quantum/DimensionTen/PolynomialData.lean

GitHub source file

44 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.DimensionTen.Border.W0 line 9
  2. def OAI.DimensionTen.Border.W1 line 12
  3. def OAI.DimensionTen.Border.W2 line 15
  4. def OAI.DimensionTen.Border.W3 line 18
  5. def OAI.DimensionTen.Border.W4 line 21
  6. def OAI.DimensionTen.Border.W5 line 24
  7. def OAI.DimensionTen.Border.W6 line 27
  8. def OAI.DimensionTen.Border.W7 line 30
  9. def OAI.DimensionTen.Border.W8 line 33
  10. def OAI.DimensionTen.Border.W9 line 36
  11. def OAI.DimensionTen.Border.W10 line 39
  12. def OAI.DimensionTen.Border.W11 line 42
  13. def OAI.DimensionTen.Border.W12 line 45
  14. def OAI.DimensionTen.Border.W13 line 48
  15. def OAI.DimensionTen.Border.W14 line 51
  16. def OAI.DimensionTen.Border.W15 line 54
  17. def OAI.DimensionTen.Border.W16 line 57
  18. def OAI.DimensionTen.Border.W17 line 60
  19. def OAI.DimensionTen.Border.W18 line 63
  20. def OAI.DimensionTen.Border.W19 line 66
  21. def OAI.DimensionTen.Border.W20 line 69
  22. def OAI.DimensionTen.Border.e0 line 72
  23. lemma OAI.DimensionTen.Border.W0_eq line 74
  24. lemma OAI.DimensionTen.Border.W20_eq line 75
  25. lemma OAI.DimensionTen.Border.W_step0 line 77
  26. lemma OAI.DimensionTen.Border.W_step1 line 79
  27. lemma OAI.DimensionTen.Border.W_step2 line 81
  28. lemma OAI.DimensionTen.Border.W_step3 line 83
  29. lemma OAI.DimensionTen.Border.W_step4 line 85
  30. lemma OAI.DimensionTen.Border.W_step5 line 87
  31. lemma OAI.DimensionTen.Border.W_step6 line 89
  32. lemma OAI.DimensionTen.Border.W_step7 line 91
  33. lemma OAI.DimensionTen.Border.W_step8 line 93
  34. lemma OAI.DimensionTen.Border.W_step9 line 95
  35. lemma OAI.DimensionTen.Border.W_step10 line 97
  36. lemma OAI.DimensionTen.Border.W_step11 line 99
  37. lemma OAI.DimensionTen.Border.W_step12 line 101
  38. lemma OAI.DimensionTen.Border.W_step13 line 103
  39. lemma OAI.DimensionTen.Border.W_step14 line 105
  40. lemma OAI.DimensionTen.Border.W_step15 line 107
  41. lemma OAI.DimensionTen.Border.W_step16 line 109
  42. lemma OAI.DimensionTen.Border.W_step17 line 111
  43. lemma OAI.DimensionTen.Border.W_step18 line 113
  44. lemma OAI.DimensionTen.Border.W_step19 line 115