Theorem SimpleGraph.strictMonoOn_turanNumber

Modification history

2026-08-12 12:06
Mathlib/Combinatorics/SimpleGraph/Extremal/Turan.lean
feat: Turán numbers and their strict monotonicity (#38200) …
Added SimpleGraph.strictMonoOn_turanNumberView on Github →