Theorem SimpleGraph.card_edgeFinset_le_extremalNumber

Modification history