Theorem map_comp_zpow'

Modification history