Theorem Irrational.of_ratCast_mul

Modification history