Theorem conj_zpow

Modification history