mathlib3

9facd190 - doc(combinatorics/simple_graph/basic): fix typo (#12544)