OAI/MathematicalPhysics/Heisenberg/SpinDirected.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Heisenberg.directed_sum line 12
2. lemma OAI.Heisenberg.bond_symm line 35
3. lemma OAI.Heisenberg.sum_siteEdges line 44
4. lemma OAI.Heisenberg.sum_volumeEdges line 50
5. lemma OAI.Heisenberg.directed_bond_sum line 59
6. lemma OAI.Heisenberg.finiteRepresentation_generator line 76