Commit 2020-10-17 18:26 6e5b6cc0
View on Github →feat(algebra/gcd_monoid, polynomial/field_division): generalizing normalization_monoid on polynomials (#4655)
Defines a normalization_monoid instance on any comm_group_with_zero, including fields
Defines a normalization_monoid instance on polynomial R when R has a normalization_monoid instance