Theorem irrational_sqrt_natCast_iff

Modification history