Theorem SimpleGraph.CliqueFree.card_edgeFinset_le

Modification history

2025-09-01 07:30
Mathlib/Combinatorics/SimpleGraph/Extremal/Turan.lean
feat: number of edges in the Turán graph (#25788) …
Added SimpleGraph.CliqueFree.card_edgeFinset_leView on Github →