OAI/Combinatorics/PolynomialVacuum/Algebra/SpectatorDegree.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PolynomialVacuumAlgebra.omitPair_spectatorSlot line 9
2. theorem OAI.PolynomialVacuumAlgebra.rightSpectators_count line 19
3. theorem OAI.PolynomialVacuumAlgebra.leftFusionFactors_spectator_degree line 29
4. theorem OAI.PolynomialVacuumAlgebra.initialCup_spectator_filtration line 47
5. theorem OAI.PolynomialVacuumAlgebra.cupPrescription_spectator_degrees line 66
6. theorem OAI.PolynomialVacuumAlgebra.dividedCupPrescription_spectator_degree_eq line 87