mathlib3

b1aef433 - chore(algebra/ring/basic): move results on dvd (#16864)

chore(algebra/ring/basic): move results on dvd (#16864) Move some results in `algebra.ring.basic` about `dvd` to `algebra.ring.divisibility`. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>