Theorem map_zpow

Modification history