OAI/Analysis/Quantum/DimensionTen/Annihilator.lean

GitHub source file

64 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.DimensionTen.Border.aeval_F line 11
  2. lemma OAI.DimensionTen.Border.FP_commute line 14
  3. lemma OAI.DimensionTen.Border.W_add_step0 line 19
  4. lemma OAI.DimensionTen.Border.W_add_step1 line 22
  5. lemma OAI.DimensionTen.Border.W_add_step2 line 25
  6. lemma OAI.DimensionTen.Border.W_add_step3 line 28
  7. lemma OAI.DimensionTen.Border.W_add_step4 line 31
  8. lemma OAI.DimensionTen.Border.W_add_step5 line 34
  9. lemma OAI.DimensionTen.Border.W_add_step6 line 37
  10. lemma OAI.DimensionTen.Border.W_add_step7 line 40
  11. lemma OAI.DimensionTen.Border.W_add_step8 line 43
  12. lemma OAI.DimensionTen.Border.W_add_step9 line 46
  13. lemma OAI.DimensionTen.Border.W_add_step10 line 49
  14. lemma OAI.DimensionTen.Border.W_add_step11 line 52
  15. lemma OAI.DimensionTen.Border.W_add_step12 line 55
  16. lemma OAI.DimensionTen.Border.W_add_step13 line 58
  17. lemma OAI.DimensionTen.Border.W_add_step14 line 61
  18. lemma OAI.DimensionTen.Border.W_add_step15 line 64
  19. lemma OAI.DimensionTen.Border.W_add_step16 line 67
  20. lemma OAI.DimensionTen.Border.W_add_step17 line 70
  21. lemma OAI.DimensionTen.Border.W_add_step18 line 73
  22. lemma OAI.DimensionTen.Border.W_add_step19 line 76
  23. lemma OAI.DimensionTen.Border.FP_annihilates_e0 line 79
  24. lemma OAI.DimensionTen.Border.propagate_zero line 83
  25. lemma OAI.DimensionTen.Border.shift_1 line 91
  26. lemma OAI.DimensionTen.Border.shift_2 line 92
  27. lemma OAI.DimensionTen.Border.shift_3 line 93
  28. lemma OAI.DimensionTen.Border.shift_4 line 94
  29. lemma OAI.DimensionTen.Border.shift_5 line 95
  30. lemma OAI.DimensionTen.Border.shift_6 line 96
  31. lemma OAI.DimensionTen.Border.shift_7 line 97
  32. lemma OAI.DimensionTen.Border.shift_8 line 98
  33. lemma OAI.DimensionTen.Border.shift_9 line 99
  34. lemma OAI.DimensionTen.Border.shift_10 line 100
  35. lemma OAI.DimensionTen.Border.shift_11 line 101
  36. lemma OAI.DimensionTen.Border.shift_12 line 102
  37. lemma OAI.DimensionTen.Border.shift_13 line 103
  38. lemma OAI.DimensionTen.Border.shift_14 line 104
  39. lemma OAI.DimensionTen.Border.shift_15 line 105
  40. lemma OAI.DimensionTen.Border.shift_16 line 106
  41. lemma OAI.DimensionTen.Border.shift_17 line 107
  42. lemma OAI.DimensionTen.Border.shift_18 line 108
  43. lemma OAI.DimensionTen.Border.shift_19 line 109
  44. lemma OAI.DimensionTen.Border.annihilate_0 line 111
  45. lemma OAI.DimensionTen.Border.annihilate_1 line 113
  46. lemma OAI.DimensionTen.Border.annihilate_2 line 115
  47. lemma OAI.DimensionTen.Border.annihilate_3 line 117
  48. lemma OAI.DimensionTen.Border.annihilate_4 line 119
  49. lemma OAI.DimensionTen.Border.annihilate_5 line 121
  50. lemma OAI.DimensionTen.Border.annihilate_6 line 123
  51. lemma OAI.DimensionTen.Border.annihilate_7 line 125
  52. lemma OAI.DimensionTen.Border.annihilate_8 line 127
  53. lemma OAI.DimensionTen.Border.annihilate_9 line 129
  54. lemma OAI.DimensionTen.Border.annihilate_10 line 131
  55. lemma OAI.DimensionTen.Border.annihilate_11 line 133
  56. lemma OAI.DimensionTen.Border.annihilate_12 line 135
  57. lemma OAI.DimensionTen.Border.annihilate_13 line 137
  58. lemma OAI.DimensionTen.Border.annihilate_14 line 139
  59. lemma OAI.DimensionTen.Border.annihilate_15 line 141
  60. lemma OAI.DimensionTen.Border.annihilate_16 line 143
  61. lemma OAI.DimensionTen.Border.annihilate_17 line 145
  62. lemma OAI.DimensionTen.Border.annihilate_18 line 147
  63. lemma OAI.DimensionTen.Border.annihilate_19 line 149
  64. lemma OAI.DimensionTen.Border.FP_B0 line 152