Theorem NNRat.num_pow

Modification history