Commit 2021-10-21 23:04 6f837a6e
View on Github →feat(data/polynomial): generalize and rename polynomial.normalize_monic (#9853)
This PR renames polynomial.normalize_monic to polynomial.monic.normalize_eq_self (more dot notation!) and generalizes it from fields to normalization_monoids.