# Commit 2023-10-22 19:51 3365b20c

View on Github →feat(combinatorics/simple_graph): More clique lemmas (#19203)
More lemmas about `is_clique`

, `is_n_clique`

, `edge_set`

. Also define `clique_free_on`

, a local version of `clique_free`

.

Mathlib v3 is deprecated. Go to Mathlib v4

feat(combinatorics/simple_graph): More clique lemmas (#19203)
More lemmas about `is_clique`

, `is_n_clique`

, `edge_set`

. Also define `clique_free_on`

, a local version of `clique_free`

.