Theorem Irrational.of_int_sub

Modification history