turan_theorem (250B)
1 # Turan theorem 2 3 https://en.wikipedia.org/wiki/Tur%C3%A1n%27s_theorem 4 5 Maximal number of edges in [graph_undirected] without having a [clique] of a given size 6 7 Special case: [mantels_theorem] 8 9 Proof seems rather elementary 10 11 Up: [ramsey_turan_theory]