Theorem continuous_zpow

Modification history