Theorem Nat.div_mod_eq_mod_mul_div

Modification history