Theorem Nat.sub_mod_eq_zero_of_mod_eq

Modification history