Theorem SimpleGraph.card_edgeFinset_of_isExtremal_free

Modification history