OAI/NumberTheory/Catalan/Polynomial/Rationality.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.InternalCatalan.row_contact_real line 15
2. theorem OAI.InternalCatalan.mixedMoment_rowP_evaluation line 23
3. theorem OAI.InternalCatalan.zetaMoment_rowD_evaluation line 46
4. theorem OAI.InternalCatalan.rawEntryRat_cast line 74
5. theorem OAI.InternalCatalan.filteredEntryRat_cast line 85
6. theorem OAI.InternalCatalan.determinantRat_cast line 100
7. theorem OAI.InternalCatalan.determinantRat_ne_zero_iff line 112