OAI/Combinatorics/BalancedRyser/Incidence/StabilityRootDivisibility.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.StabilityPolynomial.splits_dvd_vanishing_mul_derivative line 14
2. theorem OAI.Balanced.StabilityPolynomial.split_mul_dvd_vanishing_derivative_mul line 32
3. theorem OAI.Balanced.StabilityPolynomial.redei_wronskian_divisibility line 46
4. theorem OAI.Balanced.StabilityPolynomial.exists_split_auxiliary_of_dvd line 77
5. theorem OAI.Balanced.StabilityPolynomial.redei_factor_wronskian_divisibility line 84
6. theorem OAI.Balanced.StabilityPolynomial.linear_product_wronskian_divisibility line 97