Theorem NNRat.ceil_coe

Modification history