OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumFourCorrelationCertificate.lean

GitHub source file

50 declarations, 0 contain sorry, 0 declared as axioms

Exact rational spin correlations in the two-column singlet code.

  1. def OAI.ContinuumCoulomb.qmaFourRawCorrelation line 12
  2. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_000 line 16
  3. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_001 line 26
  4. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_002 line 36
  5. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_010 line 46
  6. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_011 line 56
  7. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_012 line 66
  8. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_020 line 76
  9. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_021 line 86
  10. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_022 line 96
  11. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_030 line 106
  12. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_031 line 116
  13. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_032 line 126
  14. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_100 line 136
  15. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_101 line 146
  16. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_102 line 156
  17. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_110 line 166
  18. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_111 line 176
  19. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_112 line 186
  20. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_120 line 196
  21. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_121 line 206
  22. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_122 line 216
  23. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_130 line 226
  24. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_131 line 236
  25. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_132 line 246
  26. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_200 line 256
  27. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_201 line 266
  28. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_202 line 276
  29. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_210 line 286
  30. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_211 line 296
  31. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_212 line 306
  32. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_220 line 316
  33. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_221 line 326
  34. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_222 line 336
  35. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_230 line 346
  36. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_231 line 356
  37. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_232 line 366
  38. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_300 line 376
  39. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_301 line 386
  40. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_302 line 396
  41. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_310 line 406
  42. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_311 line 416
  43. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_312 line 426
  44. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_320 line 436
  45. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_321 line 446
  46. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_322 line 456
  47. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_330 line 466
  48. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_331 line 476
  49. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_332 line 486
  50. theorem OAI.ContinuumCoulomb.qmaFourRawCorrelation_eq line 496