Theorem Set.even_ncard_compl_iff

Modification history