Mathlib Changelog
v4
Changelog
About
Github
Theorem
SimpleGraph.turanGraph_adj
Modification history
2025-08-31 15:32
Mathlib/Combinatorics/SimpleGraph/Extremal/Turan.lean
chore: tidy various files (#29148)
Modified
SimpleGraph.turanGraph_adj
View on Github →
2025-08-20 10:00
Mathlib/Combinatorics/SimpleGraph/Turan.lean
feat(Combinatorics/SimpleGraph): define `completeEquipartiteGraph` (#27597) …
Added
SimpleGraph.turanGraph_adj
View on Github →