Theorem Rat.inv_natCast_den

Modification history