OAI/Analysis/MutuallyUnbiased/GramAssembly/Coordinates.lean

GitHub source file

48 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MUB6.Certificate.GramAssembly.keyBlock0 line 9
  2. def OAI.MUB6.Certificate.GramAssembly.keyBlock1 line 76
  3. def OAI.MUB6.Certificate.GramAssembly.keyBlock2 line 143
  4. def OAI.MUB6.Certificate.GramAssembly.keyBlock3 line 210
  5. def OAI.MUB6.Certificate.GramAssembly.keyBlock4 line 277
  6. def OAI.MUB6.Certificate.GramAssembly.keyBlock5 line 344
  7. def OAI.MUB6.Certificate.GramAssembly.keyBlock6 line 411
  8. def OAI.MUB6.Certificate.GramAssembly.keyBlock7 line 478
  9. def OAI.MUB6.Certificate.GramAssembly.keyBlock8 line 545
  10. def OAI.MUB6.Certificate.GramAssembly.keyBlock9 line 612
  11. def OAI.MUB6.Certificate.GramAssembly.keyBlock10 line 679
  12. def OAI.MUB6.Certificate.GramAssembly.keyBlock11 line 746
  13. def OAI.MUB6.Certificate.GramAssembly.keyBlock12 line 813
  14. def OAI.MUB6.Certificate.GramAssembly.keyBlock13 line 880
  15. def OAI.MUB6.Certificate.GramAssembly.keyBlock14 line 947
  16. def OAI.MUB6.Certificate.GramAssembly.keyBlock15 line 1014
  17. def OAI.MUB6.Certificate.GramAssembly.keyBlock16 line 1081
  18. def OAI.MUB6.Certificate.GramAssembly.keyBlock17 line 1148
  19. def OAI.MUB6.Certificate.GramAssembly.keyBlock18 line 1215
  20. def OAI.MUB6.Certificate.GramAssembly.keyBlock19 line 1282
  21. def OAI.MUB6.Certificate.GramAssembly.keyBlock20 line 1349
  22. def OAI.MUB6.Certificate.GramAssembly.keyBlock21 line 1416
  23. def OAI.MUB6.Certificate.GramAssembly.keyBlock22 line 1483
  24. def OAI.MUB6.Certificate.GramAssembly.keyBlock23 line 1550
  25. def OAI.MUB6.Certificate.GramAssembly.keyBlock24 line 1617
  26. def OAI.MUB6.Certificate.GramAssembly.keyBlock25 line 1684
  27. def OAI.MUB6.Certificate.GramAssembly.keyBlock26 line 1751
  28. def OAI.MUB6.Certificate.GramAssembly.keyBlock27 line 1818
  29. def OAI.MUB6.Certificate.GramAssembly.keyBlock28 line 1885
  30. def OAI.MUB6.Certificate.GramAssembly.keyBlock29 line 1952
  31. def OAI.MUB6.Certificate.GramAssembly.keyBlock30 line 2019
  32. def OAI.MUB6.Certificate.GramAssembly.keyBlock31 line 2086
  33. def OAI.MUB6.Certificate.GramAssembly.keyBlock32 line 2153
  34. def OAI.MUB6.Certificate.GramAssembly.keyBlock33 line 2220
  35. def OAI.MUB6.Certificate.GramAssembly.keyBlock34 line 2287
  36. def OAI.MUB6.Certificate.GramAssembly.keyBlock35 line 2354
  37. def OAI.MUB6.Certificate.GramAssembly.keyBlock36 line 2421
  38. def OAI.MUB6.Certificate.GramAssembly.keyBlock37 line 2488
  39. def OAI.MUB6.Certificate.GramAssembly.keyBlock38 line 2555
  40. def OAI.MUB6.Certificate.GramAssembly.keyBlock39 line 2622
  41. def OAI.MUB6.Certificate.GramAssembly.keyBlock40 line 2689
  42. def OAI.MUB6.Certificate.GramAssembly.keyBlock41 line 2756
  43. def OAI.MUB6.Certificate.GramAssembly.keyBlock42 line 2823
  44. def OAI.MUB6.Certificate.GramAssembly.keyBlock43 line 2890
  45. def OAI.MUB6.Certificate.GramAssembly.keyBlock44 line 2957
  46. def OAI.MUB6.Certificate.GramAssembly.keyBlock45 line 3024
  47. def OAI.MUB6.Certificate.GramAssembly.keyBlocks line 3033
  48. def OAI.MUB6.Certificate.GramAssembly.key line 3035