Theorem Irrational.of_intCast_sub

Modification history