Theorem Filter.mem_iInf_finset

Modification history