Theorem Filter.mem_prod_self_iff

Modification history