Theorem Irrational.of_sub_natCast

Modification history