Theorem Rat.isNat_intCeil_ofIsNNRat

Modification history