Theorem SimpleGraph.isClique_sup_edge_of_ne_iff

Modification history

2025-03-19 19:40

Mathlib/Combinatorics/SimpleGraph/Clique.lean

feat(Combinatorics/SimpleGraph/Clique): add lemmas about cliques in G ⊔ edge v w (#22370) …

Added SimpleGraph.isClique_sup_edge_of_ne_iff View on Github →