Theorem SimpleGraph.odd_ncard_oddComponents

Modification history