Skip to content

refactor(Algebra/Polynomial): make coeff return a Finsupp#41544

Open
YaelDillies wants to merge 1 commit into
leanprover-community:masterfrom
YaelDillies:polynomial_coeff
Open

refactor(Algebra/Polynomial): make coeff return a Finsupp#41544
YaelDillies wants to merge 1 commit into
leanprover-community:masterfrom
YaelDillies:polynomial_coeff

Commits

Commits on Jul 9, 2026