mathlib

3365b20c - feat(combinatorics/simple_graph): More clique lemmas (#19203)

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`.