Theorem Nat.add_div_eq_of_add_mod_lt

Modification history