Theorem SimpleGraph.odd_card_iff_odd_components

Modification history