Def SimpleGraph.IsTuranMaximal.setoid

Modification history

2024-06-22 19:13

Mathlib/Combinatorics/SimpleGraph/Turan.lean

feat: forward direction of Turán's theorem (#11990) …

Added SimpleGraph.IsTuranMaximal.setoid View on Github →