OAI/Combinatorics/PolynomialVacuum/Algebra/TripleActions.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.PolynomialVacuumAlgebra.Triple line 7
  2. def OAI.PolynomialVacuumAlgebra.replaceTriple line 12
  3. theorem OAI.PolynomialVacuumAlgebra.replaceTriple_first line 15
  4. theorem OAI.PolynomialVacuumAlgebra.replaceTriple_middle line 18
  5. theorem OAI.PolynomialVacuumAlgebra.replaceTriple_last line 21
  6. theorem OAI.PolynomialVacuumAlgebra.replaceTriple_replaceTriple line 23
  7. def OAI.PolynomialVacuumAlgebra.tripleAction line 29
  8. theorem OAI.PolynomialVacuumAlgebra.tripleAction_mul line 32
  9. def OAI.PolynomialVacuumAlgebra.matrix12 line 45
  10. def OAI.PolynomialVacuumAlgebra.matrix23 line 48
  11. theorem OAI.PolynomialVacuumAlgebra.tripleAction_matrix12 line 51
  12. theorem OAI.PolynomialVacuumAlgebra.tripleAction_matrix23 line 63
  13. theorem OAI.PolynomialVacuumAlgebra.matrix121_apply line 70
  14. theorem OAI.PolynomialVacuumAlgebra.matrix232_apply line 80