Theorem SimpleGraph.IsClique.inter_left

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.inter_leftView on Github →