OAI/Combinatorics/SumProduct/Alignment/LeibmanSquare03.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.DenseModularPolynomial.rough_lattice_inverse line 19
2. theorem OAI.DenseModularPolynomial.lattice_inverse line 78
3. lemma OAI.LeibmanSquare.polynomial_of_cube_mem line 170
4. lemma OAI.LeibmanSquare.cube_mem_of_polynomial line 185
5. theorem OAI.LeibmanSquare.polynomial_iff_cube_mem line 232
6. theorem OAI.LeibmanSquare.reduced_cube_polynomial line 238