Theorem SimpleGraph.LocallyLinear.card_edgeFinset

Modification history