OAI/Combinatorics/PolynomialVacuum/Algebra/ZeroFiltration.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PolynomialVacuumAlgebra.killSite_exchange_carried line 9
2. theorem OAI.PolynomialVacuumAlgebra.killSite_exchange_spectator line 16
3. theorem OAI.PolynomialVacuumAlgebra.tensorExchange_carried_zero line 23
4. theorem OAI.PolynomialVacuumAlgebra.transportCup_marked_zero line 41
5. theorem OAI.PolynomialVacuumAlgebra.dividedCupPrescription_marked_zero line 66
6. theorem OAI.PolynomialVacuumAlgebra.tensorExchange_spectator_zero line 79
7. theorem OAI.PolynomialVacuumAlgebra.tensorExchange_unaffected_zero line 94
8. theorem OAI.PolynomialVacuumAlgebra.transportCup_spectator_zero line 106