Theorem Rat.floor_int_div_nat_eq_div

Modification history