Theorem SimpleGraph.isClique_iUnion

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_iUnionView on Github →