Commit 2020-08-05 21:26 89ada87c
View on Github →chore(algebra, data/pnat): refactoring comm_semiring_has_dvd into comm_monoid_has_dvd (#3702) changes the instance comm_semiring_has_dvd to apply to any comm_monoid cleans up the pnat API to use this new definition