Theorem Set.even_card_insert_iff

Modification history