Theorem NNRat.coe_ceil

Modification history