Theorem Set.odd_ncard_compl_iff

Modification history