Theorem SimpleGraph.exists_isExtremal_free

Modification history