Theorem irrational_sqrt_intCast_iff

Modification history