OAI/Analysis/Laughlin/FourBody/SignedCoordinates.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Laughlin.Spin.physicalCouplingCoefficient_pair_swap line 9
2. theorem OAI.Laughlin.Spin.fourBodyCoefficient_swap line 19
3. def OAI.Laughlin.Spin.fourWedgeUnit line 29
4. def OAI.Laughlin.Spin.fourSignedUnit line 32
5. theorem OAI.Laughlin.Spin.fourWedgeUnit_dot line 35
6. theorem OAI.Laughlin.Spin.fourWedgeUnit_zero line 50
7. theorem OAI.Laughlin.Spin.fourBodyCopy_signed_at_level line 56
8. theorem OAI.Laughlin.Spin.fourBodyCopy_signed_off line 75