Theorem Nat.mod_eq_of_modEq

Modification history