Theorem irrational_mul_natCast_iff

Modification history