Theorem Irrational.sub_intCast

Modification history