Theorem Int.mod_nat_eq_sub_mul_floor_rat_div

Modification history