Theorem SimpleGraph.exists_maximal_isMatchingFree

Modification history