Commit 2021-09-11 04:25 579ca5ed

View on Github →

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.

Estimated changes

Modified archive/100-theorems-list/83_friendship_graphs.lean

Modified src/combinatorics/simple_graph/adj_matrix.lean

Modified src/combinatorics/simple_graph/basic.lean

modified theorem simple_graph.adj_comm

modified theorem simple_graph.adj_symm

modified def simple_graph.edge_set

Modified src/combinatorics/simple_graph/degree_sum.lean

Modified src/combinatorics/simple_graph/subgraph.lean

modified theorem simple_graph.subgraph.adj_symm

modified def simple_graph.subgraph.edge_set