OAI/Combinatorics/PolynomialVacuum/Algebra/BraidEndomorphisms.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.PolynomialVacuumAlgebra.Pzero_transpose line 8
  2. theorem OAI.PolynomialVacuumAlgebra.Pone_transpose line 11
  3. theorem OAI.PolynomialVacuumAlgebra.Ptwo_transpose line 17
  4. theorem OAI.PolynomialVacuumAlgebra.numerator_transpose line 20
  5. theorem OAI.PolynomialVacuumAlgebra.matrix12_transpose line 24
  6. theorem OAI.PolynomialVacuumAlgebra.matrix23_transpose line 28
  7. theorem OAI.PolynomialVacuumAlgebra.matrix_yang_baxter_reverse line 32
  8. theorem OAI.PolynomialVacuumAlgebra.tensor_yang_baxter_reverse line 41
  9. def OAI.PolynomialVacuumAlgebra.pairLinear line 52
  10. def OAI.PolynomialVacuumAlgebra.siteR line 64
  11. theorem OAI.PolynomialVacuumAlgebra.siteR_far_comm line 67
  12. theorem OAI.PolynomialVacuumAlgebra.siteR_yang_baxter line 73