Theorem irrational_sqrt_ratCast_iff

Modification history