Theorem irrational_sub_intCast_iff

Modification history