Theorem Irrational.of_mul_natCast

Modification history