Mathlib v3 is deprecated. Go to Mathlib v4

Theorem sym2.to_rel_from_rel

Modification history

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