Theorem Rat.isInt_intFloor_ofIsRat

Modification history