Theorem SimpleGraph.edgeFinset_card

Modification history