Theorem AddOpposite.unop_pow

Modification history