mathlib

3fc6fbb3 - feat(algebra/divisibility): `is_refl` and `is_trans` instances for divisibility (#14240)