Theorem Even.neg_one_zpow

Modification history