Theorem Rat.sub_natCast_den

Modification history