Theorem SimpleGraph.cliqueNum_ne_zero_of_finite

Modification history

2026-09-04 11:59
Mathlib/Combinatorics/SimpleGraph/Clique.lean
feat(Combinatorics/SimpleGraph/Clique): clique numbers of top and bot (#43096) …
Added SimpleGraph.cliqueNum_ne_zero_of_finiteView on Github →