Theorem toIocMod_eq_sub_fract_mul

Modification history