Theorem Filter.prod_map_left

Modification history