Theorem SimpleGraph.isTree_of_minimal_connected

Modification history