Theorem Set.Pairwise.inter_left

Modification history

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