OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumFourSpinTable.lean

GitHub source file

26 declarations, 0 contain sorry, 0 declared as axioms

Sparse rational tables for the four-spin contractions.

  1. def OAI.ContinuumCoulomb.qmaFourSpinTable00 line 12
  2. theorem OAI.ContinuumCoulomb.qmaFourSpinRawAction_table00 line 16
  3. def OAI.ContinuumCoulomb.qmaFourSpinTable01 line 24
  4. theorem OAI.ContinuumCoulomb.qmaFourSpinRawAction_table01 line 28
  5. def OAI.ContinuumCoulomb.qmaFourSpinTable02 line 36
  6. theorem OAI.ContinuumCoulomb.qmaFourSpinRawAction_table02 line 40
  7. def OAI.ContinuumCoulomb.qmaFourSpinTable10 line 48
  8. theorem OAI.ContinuumCoulomb.qmaFourSpinRawAction_table10 line 52
  9. def OAI.ContinuumCoulomb.qmaFourSpinTable11 line 60
  10. theorem OAI.ContinuumCoulomb.qmaFourSpinRawAction_table11 line 64
  11. def OAI.ContinuumCoulomb.qmaFourSpinTable12 line 72
  12. theorem OAI.ContinuumCoulomb.qmaFourSpinRawAction_table12 line 76
  13. def OAI.ContinuumCoulomb.qmaFourSpinTable20 line 84
  14. theorem OAI.ContinuumCoulomb.qmaFourSpinRawAction_table20 line 88
  15. def OAI.ContinuumCoulomb.qmaFourSpinTable21 line 96
  16. theorem OAI.ContinuumCoulomb.qmaFourSpinRawAction_table21 line 100
  17. def OAI.ContinuumCoulomb.qmaFourSpinTable22 line 108
  18. theorem OAI.ContinuumCoulomb.qmaFourSpinRawAction_table22 line 112
  19. def OAI.ContinuumCoulomb.qmaFourSpinTable30 line 120
  20. theorem OAI.ContinuumCoulomb.qmaFourSpinRawAction_table30 line 124
  21. def OAI.ContinuumCoulomb.qmaFourSpinTable31 line 132
  22. theorem OAI.ContinuumCoulomb.qmaFourSpinRawAction_table31 line 136
  23. def OAI.ContinuumCoulomb.qmaFourSpinTable32 line 144
  24. theorem OAI.ContinuumCoulomb.qmaFourSpinRawAction_table32 line 148
  25. def OAI.ContinuumCoulomb.qmaFourSpinTable line 156
  26. theorem OAI.ContinuumCoulomb.qmaFourSpinRawAction_table line 159