mathlib

59273305 - refactor(combinatorics/simple_graph/basic): relax `edge_finset` typeclasses (#14091)