Def SimpleGraph.IsTuranMaximal.finpartition

Modification history

2024-08-01 19:38
Mathlib/Combinatorics/SimpleGraph/Turan.lean
chore(Turan): remove superfluous DecidableEq assumption (#15280) …
Modified SimpleGraph.IsTuranMaximal.finpartitionView on Github →
2024-06-22 19:13
Mathlib/Combinatorics/SimpleGraph/Turan.lean
feat: forward direction of Turán's theorem (#11990) …
Added SimpleGraph.IsTuranMaximal.finpartitionView on Github →