Theorem SimpleGraph.edgeSet_fromEdgeSet

Modification history

2025-12-01 17:55

Mathlib/Combinatorics/SimpleGraph/Basic.lean

feat(Combinatorics/SimpleGraph): use `Sym2.diagSet` instead of explicit sets (#32255)

Modified SimpleGraph.edgeSet_fromEdgeSet View on Github →

2023-02-24 18:27

Mathlib/Combinatorics/SimpleGraph/Basic.lean

feat: Port `Combinatorics.SimpleGraph.Basic` (#1883)

Added SimpleGraph.edgeSet_fromEdgeSet View on Github →