Theorem NNRat.cast_one

Modification history