Theorem irrational_sqrt_ofNat_iff

Modification history