OAI/Combinatorics/BalancedRyser/Incidence/StabilityPolynomial2.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.StabilityPolynomial.exists_nonzero_vanishing_with_support line 15
2. theorem OAI.Balanced.StabilityPolynomial.exists_nonzero_vanishing_degree_le line 38
3. theorem OAI.Balanced.StabilityPolynomial.eq_constant_of_derivative_zero_of_degree_lt line 50
4. def OAI.Balanced.StabilityPolynomial.pairExponent line 65
5. lemma OAI.Balanced.StabilityPolynomial.pairExponent_injective line 68
6. lemma OAI.Balanced.StabilityPolynomial.sum_pairExponent line 77
7. def OAI.Balanced.StabilityPolynomial.trianglePairs line 81
8. lemma OAI.Balanced.StabilityPolynomial.mem_trianglePairs line 84
9. lemma OAI.Balanced.StabilityPolynomial.twice_card_trianglePairs line 93
10. theorem OAI.Balanced.StabilityPolynomial.exists_bivariate_vanishing line 108
11. theorem OAI.Balanced.StabilityPolynomial.exists_bivariate_vanishing_sq_degree_lt line 125