Theorem pow_iterate

Modification history