Theorem SimpleGraph.cliqueNum_eq_natCard

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