OAI/Combinatorics/PolynomialVacuum/Algebra/CupScalarCompatibility.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PolynomialVacuumAlgebra.skipTwo_zero_apply line 9
2. theorem OAI.PolynomialVacuumAlgebra.skipTwo_skipOne_after line 12
3. theorem OAI.PolynomialVacuumAlgebra.skipTwo_insertOne_after line 18
4. theorem OAI.PolynomialVacuumAlgebra.fusionProduct_insertLast line 24
5. theorem OAI.PolynomialVacuumAlgebra.leftFusion_dropTwo line 32
6. theorem OAI.PolynomialVacuumAlgebra.firstCup_scalar_compatibility line 45