Theorem SimpleGraph.mul_card_edgeFinset_turanGraph_le

Modification history

2026-08-12 12:06
Mathlib/Combinatorics/SimpleGraph/Extremal/Turan.lean
feat: Turán numbers and their strict monotonicity (#38200) …
Deleted SimpleGraph.mul_card_edgeFinset_turanGraph_leView on Github →
2025-09-01 07:30
Mathlib/Combinatorics/SimpleGraph/Extremal/Turan.lean
feat: number of edges in the Turán graph (#25788) …
Added SimpleGraph.mul_card_edgeFinset_turanGraph_leView on Github →