Theorem Irrational.mul_natCast

Modification history