Theorem SimpleGraph.cliqueFree_iff_top_free

Modification history

2026-08-14 12:19

Mathlib/Combinatorics/SimpleGraph/Clique.lean

chore(SimpleGraph/Clique): tidy `CliqueFree` iff lemmas (#41364) …

Deleted SimpleGraph.cliqueFree_iff_top_free View on Github →

2025-08-24 22:56

Mathlib/Combinatorics/SimpleGraph/Clique.lean

feat(Combinatorics/SimpleGraph): relate `⊤ ⊑ ·` to the existence of a clique (#28785) …

Added SimpleGraph.cliqueFree_iff_top_free View on Github →