Theorem SimpleGraph.isClique_range_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.isClique_range_copy_topView on Github →