Theorem map_comp_mul

Modification history