Theorem Irrational.ratCast_mul

Modification history