Theorem Nat.add_mod_eq_ite

Modification history