Theorem irrational_sqrt_intCast_iff_of_nonneg

Modification history