Theorem NNRat.cast_lt_one

Modification history