Theorem Nat.mod_mul_left_div_self

Modification history