OAI/Combinatorics/PolynomialVacuum/Algebra/FiniteTranslation.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PolynomialVacuumAlgebra.liftState_extend line 8
2. theorem OAI.PolynomialVacuumAlgebra.finite_minus_zero line 12
3. theorem OAI.PolynomialVacuumAlgebra.finite_exchange line 24
4. theorem OAI.PolynomialVacuumAlgebra.rotationIndex_finite line 52
5. theorem OAI.PolynomialVacuumAlgebra.natRotate_extend line 61
6. theorem OAI.PolynomialVacuumAlgebra.finite_cyclic line 66
7. theorem OAI.PolynomialVacuumAlgebra.skipTwo_extend line 84
8. theorem OAI.PolynomialVacuumAlgebra.naturalFusion_finite line 92
9. theorem OAI.PolynomialVacuumAlgebra.finite_cup line 106
10. theorem OAI.PolynomialVacuumAlgebra.finite_lastZero line 122