OAI/Combinatorics/SharpThreshold/SupportDegreeGraph.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Problem313.support_vertices_card_le line 10
2. lemma OAI.Problem313.support_exists_small_positive_degree line 24
3. lemma OAI.Problem313.support_exists_degree_le_cutoff line 45