Commit 2022-10-11 09:55 b1aef433
View on Github →chore(algebra/ring/basic): move results on dvd (#16864)
Move some results in algebra.ring.basic
about dvd
to algebra.ring.divisibility
.
chore(algebra/ring/basic): move results on dvd (#16864)
Move some results in algebra.ring.basic
about dvd
to algebra.ring.divisibility
.