mathlib3

feat(data/polynomial): monic.as_sum

#1773

Merged