Theorem Rat.isNat_intCeil

Modification history