Theorem map_prod_eq_map_prod

Modification history