mathlib

6d15ea43 - feat(combinatorics/simple_graph): simp lemmas about spanning coe (#10778)

feat(combinatorics/simple_graph): simp lemmas about spanning coe (#10778) A couple of lemmas from #8737 which don't involve connectivity, plus some extra related results. cc @kmill