Theorem SimpleGraph.edgeSet_subset_setOf_not_isDiag

Modification history

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