Mathlib v3 is deprecated. Go to Mathlib v4

Def sym2.to_rel

Modification history

2021-12-27 16:46
src/data/sym/sym2.lean
feat(combinatorics/simple_graph/basic): edge deletion (#11054) …
Added sym2.to_relView on Github →