Theorem factorization_pow

Modification history