Theorem Nat.dvd_right_iff_eq

Modification history