Theorem Nat.div_lt_div_of_lt_of_dvd

Modification history