Theorem Finset.sym_fill_mem

Modification history