Theorem Irrational.mul_ratCast

Modification history