Theorem NNRat.intCeil_cast

Modification history