Theorem irrational_sub_ratCast_iff

Modification history