Theorem SimpleGraph.not_cliqueFree_iff_top_isContained

Modification history

2026-04-08 12:57
Mathlib/Combinatorics/SimpleGraph/Clique.lean
feat(Combinatorics/SimpleGraph/Clique): use `IsContained` instead of an explicit embedding from top (#35613) …
Added SimpleGraph.not_cliqueFree_iff_top_isContainedView on Github →