OAI/Combinatorics/BalancedRyser/Incidence/StabilityAlgebraAssembly.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.StabilityPolynomial.vertical_fiber_of_coprime_wronskian line 14
2. theorem OAI.Balanced.StabilityPolynomial.redei_coprime_wronskian_divisor line 38
3. theorem OAI.Balanced.StabilityPolynomial.equal_degree_wronskian_budget line 50
4. theorem OAI.Balanced.StabilityPolynomial.assembled_asymmetric_degree_budget line 91
5. theorem OAI.Balanced.StabilityPolynomial.assembled_zero_factor line 116
6. theorem OAI.Balanced.StabilityPolynomial.empty_columns_le_auxiliary_degree line 136
7. theorem OAI.Balanced.StabilityPolynomial.normalized_prime_stability_of_degree_budget line 167
8. theorem OAI.Balanced.StabilityPolynomial.normalized_prime_stability line 194