Theorem inv_pow_anti

Modification history