Theorem Nat.div_eq_of_lt

Modification history