Theorem Filter.mem_prod_iff_left

Modification history