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 →