Theorem SimpleGraph.IsContained.not_cliqueFree_card

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