Theorem Rat.isInt_intFloor

Modification history