Theorem Rat.divInt_neg_den

Modification history