Theorem Irrational.natCast_add

Modification history