Theorem Set.Finite.compl_mem_cofinite

Modification history