Theorem SimpleGraph.two_mul_card_edgeFinset

Modification history