Theorem Irrational.of_natCast_mul

Modification history