OAI/Combinatorics/PolynomialVacuum/Algebra/RowEigenvector.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.PolynomialVacuumAlgebra.homogeneousVector_depends line 8
  2. theorem OAI.PolynomialVacuumAlgebra.trainDenominator_constant line 15
  3. theorem OAI.PolynomialVacuumAlgebra.front_trainDenominator line 21
  4. theorem OAI.PolynomialVacuumAlgebra.polynomialVacuum_tracedRow line 33
  5. theorem OAI.PolynomialVacuumAlgebra.four_ne_zero line 45
  6. theorem OAI.PolynomialVacuumAlgebra.physical_auxiliary line 56
  7. theorem OAI.PolynomialVacuumAlgebra.physical_fusion line 59
  8. theorem OAI.PolynomialVacuumAlgebra.physical_cup_denominator line 70
  9. theorem OAI.PolynomialVacuumAlgebra.polynomialVacuum_honeycombRow line 84