Turán's theorem (the "Book" weighting proof)

Source: url:https://github.com/ro-gut/turan3 Authors: Rodrigo Gutierrez, Yves Jäckle Status: verified Main declarations: Turan3.turans, Turan3.finale_bound, Turan3.Better_forms_clique Tags: graph-theory, combinatorics, turan-theorem, extremal-graph-theory MSC: 05C35