Theorem SimpleGraph.exists_isExtremal_iff_exists

Modification history