Theorem SimpleGraph.cliqueFree_iff_isEmpty_copy_top_fin

Modification history

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