Theorem Finset.compl_mem_compls

Modification history