Lean repository linked
Chebyshev quotients, Demazure multiplicities, and Dyck-path models
arXiv:2604.25246 · arXiv
Lean formalisations (1)
AxiomMath/Biswal at 62c945fb6c06
Linked by the repository’s formalization.yaml.
Project review: author-verified
Audit: awaiting publication.