Theorem ite_pow

Modification history