Theorem Nat.mod_div_self

Modification history