Theorem Nat.mod_mul_right_mod

Modification history