mathlib

f6108a96 - refactor(algebra/divisibility): split