mathlib3

579ca5ed - chore(combinatorics/simple_graph): rename sym to symm (#9134)

chore(combinatorics/simple_graph): rename sym to symm (#9134) The naming convention for symmetry of a relation in mathlib seems to be symm, so this commit renames the axiom for the symmetry of the adjacency relation of a simple graph to this.