Commit 2021-03-17 19:18 6e1143ab
View on Github →chore(combinatorics/simple_graph): remove bad simp attribute (#6736) As in https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/symmetry.20fails.20if.20simple.20graph.20is.20imported.
chore(combinatorics/simple_graph): remove bad simp attribute (#6736) As in https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/symmetry.20fails.20if.20simple.20graph.20is.20imported.