Theorem SimpleGraph.cliqueFree_of_replaceVertex_cliqueFree

Modification history

2024-01-13 20:57
Mathlib/Combinatorics/SimpleGraph/Clique.lean
feat: local graph operations (#9267)
Deleted SimpleGraph.cliqueFree_of_replaceVertex_cliqueFreeView on Github →
2023-10-14 07:05
Mathlib/Combinatorics/SimpleGraph/Clique.lean
feat: vertex replacement (#6808) …
Added SimpleGraph.cliqueFree_of_replaceVertex_cliqueFreeView on Github →