OAI/Combinatorics/BalancedRyser/Incidence/StabilityGridDegree.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.StabilityPolynomial.finiteField_factorization line 13
2. theorem OAI.Balanced.StabilityPolynomial.finiteField_coordinate_factorization line 30
3. theorem OAI.Balanced.StabilityPolynomial.finite_grid_decomposition_totalDegree line 37
4. theorem OAI.Balanced.StabilityPolynomial.finiteField_coordinate_totalDegree line 57
5. theorem OAI.Balanced.StabilityPolynomial.finite_grid_decomposition_multiplier_degree line 64
6. theorem OAI.Balanced.StabilityPolynomial.bivariate_grid_decomposition_degree_bounds line 84