Theorem Finset.sym_filterNe_mem

Modification history