Theorem Rat.divInt_mul_divInt_cancel

Modification history