OAI/Combinatorics/PolynomialVacuum/Algebra/TraceTrain.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PolynomialVacuumAlgebra.DependsBefore line 8
  2. theorem OAI.PolynomialVacuumAlgebra.siteR_depends line 11
  3. theorem OAI.PolynomialVacuumAlgebra.braidTrain_depends line 23
  4. theorem OAI.PolynomialVacuumAlgebra.insertZero_skipOne line 30
  5. theorem OAI.PolynomialVacuumAlgebra.replacePair_insertZero line 37
  6. def OAI.PolynomialVacuumAlgebra.headFiber line 44
  7. theorem OAI.PolynomialVacuumAlgebra.headFiber_siteR line 47
  8. theorem OAI.PolynomialVacuumAlgebra.headFiber_braidTrain line 56
  9. theorem OAI.PolynomialVacuumAlgebra.braidTrain_head_evaluate line 65
  10. def OAI.PolynomialVacuumAlgebra.auxiliaryInput line 72
  11. theorem OAI.PolynomialVacuumAlgebra.auxiliaryInput_depends line 75
  12. theorem OAI.PolynomialVacuumAlgebra.cup_headFiber line 84
  13. def OAI.PolynomialVacuumAlgebra.tracedTrain line 94