Theorem SimpleGraph.IsExtremal.le_iff_eq

Modification history

2025-11-26 11:32
Mathlib/Combinatorics/SimpleGraph/Extremal/Basic.lean
refactor: redefine `IsTuranMaximal` (#28719) …
Added SimpleGraph.IsExtremal.le_iff_eqView on Github →