Theorem NNRat.cast_pow

Modification history