Theorem SimpleGraph.ncard_oddComponents_mono

Modification history