Theorem Rat.isInt_intCeil_ofIsRat_neg

Modification history