Theorem map_comp_pow

Modification history