Theorem toAdd_zpow

Modification history