OAI/Combinatorics/PolynomialVacuum/Algebra/PairImage.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PolynomialVacuumAlgebra.Pone_image line 10
2. def OAI.PolynomialVacuumAlgebra.occupiedSpin line 24
3. def OAI.PolynomialVacuumAlgebra.allowedSpin line 26
4. def OAI.PolynomialVacuumAlgebra.pairSupported line 28
5. theorem OAI.PolynomialVacuumAlgebra.pairImage_equal_bits line 32