Theorem Rat.isInt_intFloor_ofIsRat_neg

Modification history