feat(algebra/divisibility): is_refl and is_trans instances for divisibility (#14240)
is_refl
is_trans