Theorem NNRat.cast_zpow

Modification history