mathlib3

28b85931 - feat(combinatorics/simple_graph): `boolean_algebra` for `simple_graph`s. (#8330)