Theorem Rat.isInt_intCeil

Modification history