OAI/MathematicalPhysics/Heisenberg/SpinTensorRepresentation.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Heisenberg.tensorUnits line 12
2. lemma OAI.Heisenberg.tensorUnits_mul line 16
3. lemma OAI.Heisenberg.tensorUnits_sum line 24
4. def OAI.Heisenberg.finiteRepresentation line 28
5. lemma OAI.Heisenberg.finiteRepresentation_onsite line 33
6. lemma OAI.Heisenberg.finiteRepresentation_z line 43