Theorem irrational_div_natCast_iff

Modification history