mathlib3

feat(combinatorics.simple_graph.acyclic): Trees are maximal acyclic, resp. minimal connected graphs.

#18685

Open