Theorem SimpleGraph.card_neighborSet_union_compl_neighborSet

Modification history