Theorem prod_map

Modification history