Def SimpleGraph.IsTuranMaximal

Modification history

2025-11-26 11:32
Mathlib/Combinatorics/SimpleGraph/Extremal/Turan.lean
refactor: redefine `IsTuranMaximal` (#28719) …
Modified SimpleGraph.IsTuranMaximalView on Github →
2024-03-23 07:52
Mathlib/Combinatorics/SimpleGraph/Turan.lean
feat: definition and properties of the Turán graph (#9645) …
Added SimpleGraph.IsTuranMaximalView on Github →