OAI/Combinatorics/PolynomialVacuum/Algebra/ZeroSpectatorPair.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PolynomialVacuumAlgebra.offdiagonal_zero_pair_nonzero line 8
2. theorem OAI.PolynomialVacuumAlgebra.siteR_zero_pair line 14
3. def OAI.PolynomialVacuumAlgebra.zeroPairGuard line 38
4. theorem OAI.PolynomialVacuumAlgebra.zeroPairGuard_ne_zero line 41
5. theorem OAI.PolynomialVacuumAlgebra.polynomial_zero_of_two_zero_spins line 48