Theorem irrational_intCast_sub_iff

Modification history