Theorem SimpleGraph.eq_top_of_enatCard_le_cliqueNum

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.eq_top_of_enatCard_le_cliqueNumView on Github →