Theorem Irrational.add_natCast

Modification history