OAI/Probability/SignedSweeps/YoungRecurrence.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SignedSweeps.youngRecurrencePolynomial line 10
2. lemma OAI.SignedSweeps.youngRecurrencePolynomial_empty line 14
3. lemma OAI.SignedSweeps.youngRecurrencePolynomial_insert line 17
4. lemma OAI.SignedSweeps.youngRecurrencePolynomial_coefficients line 26
5. lemma OAI.SignedSweeps.youngRecurrencePolynomial_degree line 62
6. theorem OAI.SignedSweeps.young_rational_recurrence line 67