Theorem SimpleGraph.edgeSet_univ_card

Modification history