Theorem map_zpow'

Modification history