Theorem SimpleGraph.cliqueFree_card_iff_free_top

Modification history

2026-08-14 12:19
Mathlib/Combinatorics/SimpleGraph/Clique.lean
chore(SimpleGraph/Clique): tidy `CliqueFree` iff lemmas (#41364) …
Added SimpleGraph.cliqueFree_card_iff_free_topView on Github →