Theorem irrational_ratCast_sub_iff

Modification history