Theorem SimpleGraph.isNClique_map_copy_top

Modification history

2025-08-24 22:56
Mathlib/Combinatorics/SimpleGraph/Clique.lean
feat(Combinatorics/SimpleGraph): relate `⊤ ⊑ ·` to the existence of a clique (#28785) …
Added SimpleGraph.isNClique_map_copy_topView on Github →