Theorem NNRat.den_one

Modification history