clique): The set of cliques (#14827)

Commit

3 years ago

feat(combinatorics/simple_graph/clique): The set of cliques (#14827) Define `simple_graph.clique_set`, the `set` analogue to `simple_graph.clique_finset`.

Author

YaelDillies

Parents

f2b108e8

mathlib f63d925e - feat(combinatorics/simple_graph/clique): The set of cliques (#14827)

mathlib
f63d925e - feat(combinatorics/simple_graph/clique): The set of cliques (#14827)