OAI/Combinatorics/PolynomialVacuum/Algebra/BraidTrain.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PolynomialVacuumAlgebra.braidTrain line 8
2. def OAI.PolynomialVacuumAlgebra.swapSite line 13
3. theorem OAI.PolynomialVacuumAlgebra.swapSite_left line 15
4. theorem OAI.PolynomialVacuumAlgebra.swapSite_right line 17
5. theorem OAI.PolynomialVacuumAlgebra.swapSite_other line 19
6. theorem OAI.PolynomialVacuumAlgebra.braidTrain_congr line 22
7. theorem OAI.PolynomialVacuumAlgebra.braidTrain_far_left line 30
8. theorem OAI.PolynomialVacuumAlgebra.braidTrain_spectator_swap line 41