Theorem Nat.succ_div_of_not_dvd

Modification history