Theorem SimpleGraph.IsClique.card_le_cliqueNum

Modification history

2025-04-27 13:12
Mathlib/Combinatorics/SimpleGraph/Clique.lean
chore(*): fix some `Decidable*`/`Fintype` assumptions (#24400) …
Modified SimpleGraph.IsClique.card_le_cliqueNumView on Github →
2024-11-12 10:38
Mathlib/Combinatorics/SimpleGraph/Clique.lean
feat(Combinatorics/SimpleGraph/Clique): add clique number (#18446) …
Added SimpleGraph.IsClique.card_le_cliqueNumView on Github →