Theorem SimpleGraph.IsTree.card_edgeFinset

Modification history