Theorem Rat.isNat_intFloor

Modification history