Theorem irrational_natCast_div_iff

Modification history