Theorem SimpleGraph.isMaximalClique_compl

Modification history

2025-01-11 18:54

Mathlib/Combinatorics/SimpleGraph/Clique.lean

feat(Combinatorics/SimpleGraph): add independent sets (#18608) …

Added SimpleGraph.isMaximalClique_compl View on Github →