Theorem Filter.prod_map_right

Modification history