Theorem Irrational.of_div_intCast

Modification history