Theorem Irrational.of_natCast_div

Modification history