Theorem Rat.natCast_sub_den

Modification history