Theorem SimpleGraph.isTree_iff_connected_and_card

Modification history