Graph cliques #
This file defines cliques in simple graphs. A clique is a set of vertices that are pairwise adjacent.
Main declarations #
SimpleGraph.IsClique: Predicate for a set of vertices to be a clique.
SimpleGraph.IsNClique: Predicate for a set of vertices to be an
SimpleGraph.cliqueFinset: Finset of
n-cliques of a graph.
SimpleGraph.CliqueFree: Predicate for a graph to have no