Theorem Rat.den_neg_eq_den

Modification history