Theorem map_comp_zpow

Modification history