Theorem SimpleGraph.isClique_sUnion

Modification history

2026-05-31 19:36
Mathlib/Combinatorics/SimpleGraph/Clique.lean
feat(Combinatorics/SimpleGraph/Clique): intersection and union of cliques (#35619) …
Added SimpleGraph.isClique_sUnionView on Github →