Theorem SimpleGraph.maximumClique_card_eq_cliqueNum

Modification history

2026-01-30 13:30

Mathlib/Combinatorics/SimpleGraph/Clique.lean

feat(Combinatorics/SimpleGraph/Clique): avoid `Fintype`/`Finite` assumptions where possible (#33253) …

Modified SimpleGraph.maximumClique_card_eq_cliqueNum View on Github →

2024-11-12 10:38

Mathlib/Combinatorics/SimpleGraph/Clique.lean

feat(Combinatorics/SimpleGraph/Clique): add clique number (#18446) …

Added SimpleGraph.maximumClique_card_eq_cliqueNum View on Github →