Theorem SimpleGraph.cliqueNum_bot

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_botView on Github →