Theorem SimpleGraph.edgeSet_inj

Modification history

2023-02-24 18:27

Mathlib/Combinatorics/SimpleGraph/Basic.lean

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

Added SimpleGraph.edgeSet_inj View on Github →