Theorem NNRat.num_one

Modification history