Theorem SimpleGraph.IsTuranMaximal.degree_eq_of_not_adj

Modification history

2024-07-26 09:13

Mathlib/Combinatorics/SimpleGraph/Turan.lean

chore: robustifying for debug.byAsSorry (part 9) (#15150) …

Modified SimpleGraph.IsTuranMaximal.degree_eq_of_not_adj View on Github →

2024-06-22 19:13

Mathlib/Combinatorics/SimpleGraph/Turan.lean

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

Added SimpleGraph.IsTuranMaximal.degree_eq_of_not_adj View on Github →