removed leftover comment

leanprover-community · Oct 28, 2024 · 663639b · 663639b
1 parent 347d27b
commit 663639b
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/Mathlib/Combinatorics/SimpleGraph/Clique.lean b/Mathlib/Combinatorics/SimpleGraph/Clique.lean
@@ -165,8 +165,6 @@ lemma isClique_compl_map_iff_isClique_map_compl {f : α ↪ β} {s : Set α} :
 
 end Clique
 
--- examle {f : α ↪ β} {s : Set α} (a : α) (h : a ∈ f '' s) ↔ : 
-
 /-! ### `n`-cliques -/