Theorem Rat.mul_den

Modification history