Theorem cfc_zpow

Modification history