Theorem Irrational.intCast_div

Modification history