Theorem SimpleGraph.IsContained.of_extremalNumber_lt_card_edgeFinset

Modification history