mathlib

e3a8dff0 - feat(combinatorics/simple_graph/*): some more `from_edge_set` and `edge_set` lemmas (#17723)

feat(combinatorics/simple_graph/*): some more `from_edge_set` and `edge_set` lemmas (#17723) Co-authored-by: Kyle Miller <kmill31415@gmail.com> Co-authored-by: Yaël Dillies <yael.dillies@gmail.com>