Theorem Nat.eq_zero_of_dvd_of_lt

Modification history