Theorem Irrational.of_natCast_add

Modification history