Theorem Rat.mul_self_den

Modification history