Theorem SimpleGraph.edgeSet_top

Modification history

2023-11-30 02:18
Mathlib/Combinatorics/SimpleGraph/Basic.lean
feat: number of edges in a complete graph (#8631)
Added SimpleGraph.edgeSet_topView on Github →