Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-21 12:21 28b85931

View on Github →

feat(combinatorics/simple_graph): boolean_algebra for simple_graphs. (#8330)

Estimated changes

modified def complete_graph
modified def empty_graph
added theorem simple_graph.bot_adj
deleted def simple_graph.compl
modified theorem simple_graph.compl_adj
deleted theorem simple_graph.compl_compl
added theorem simple_graph.inf_adj
added theorem simple_graph.sdiff_adj
added theorem simple_graph.sup_adj
added theorem simple_graph.top_adj