Theorem SimpleGraph.maximumClique_card_eq_cliqueNum

Modification history

2024-11-12 10:38
Mathlib/Combinatorics/SimpleGraph/Clique.lean
feat(Combinatorics/SimpleGraph/Clique): add clique number (#18446) …
Added SimpleGraph.maximumClique_card_eq_cliqueNumView on Github →