Theorem NNRat.den_pow

Modification history