OAI/NumberTheory/Catalan/Polynomial/
184 declarations, 0 contain sorry, 0 declared as axioms; 16 files
Files
- BlaschkeDensityPolynomial.lean 6 declarations
- CentralCoefficients.lean 50 declarations
- FixedBaseCertificateTransfer.lean 4 declarations
- FixedCanonicalCoefficientTables.lean 4 declarations
- ManuscriptLogCoefficientMass.lean 30 declarations
- ManuscriptRationalFieldSubstitutes.lean 14 declarations
- ManuscriptRationalIntervals.lean 6 declarations
- ManuscriptSharpBracketDerivatives.lean 4 declarations
- MixedPolynomial.lean 4 declarations
- PalindromicCoefficientMatrices.lean 16 declarations
- PalindromicPolynomialFrobenius.lean 11 declarations
- RationalProductFormula.lean 11 declarations
- Rationality.lean 7 declarations
- RawCoefficientEntryBound.lean 4 declarations
- TwoAdicCoefficients.lean 7 declarations
- ZetaPolynomial.lean 6 declarations