Theorem Irrational.sub_natCast

Modification history