mathlib3
9235c8a3 - feat(data/polynomial/basic): polynomial.update (#9020)

Commit

4 years ago

feat(data/polynomial/basic): polynomial.update (#9020)

Author

pechersky

pechersky

Parents

Loading