Theorem map_mul

Modification history