Commit 2021-01-13 16:08 3ac4bb24
View on Github →feat(combinatorics/simple_graph/basic): add definition of complement of simple graph (#5697) Add definition of the complement of a simple graph. Part of branch strongly_regular_graph, with the goal of proving facts about strongly regular graphs.