Theorem SimpleGraph.ncard_odd_components_mono

Modification history