Theorem Int.fract_div_intCast_eq_div_intCast_mod

Modification history