Theorem NNRat.ceil_cast

Modification history