mathlib

b6c96ef7 - feat(combinatorics/simple_graph/clique): Clique-free graphs (#13552)

feat(combinatorics/simple_graph/clique): Clique-free graphs (#13552) ... and the finset of cliques of a finite graph. Co-authored-by: Bhavik Mehta <bhavik.mehta8@gmail.com>