OAI/Combinatorics/RamseyFive/Geometry/EmptyVariableTree.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpRamseyFive.ProjectiveIncidence.emptyTreeMessage line 16
2. lemma OAI.SharpRamseyFive.ProjectiveIncidence.emptyTreeCost line 21
3. def OAI.SharpRamseyFive.ProjectiveIncidence.variableTreeEmpty line 27
4. lemma OAI.SharpRamseyFive.ProjectiveIncidence.variableTreeEmpty_cost line 32
5. lemma OAI.SharpRamseyFive.ProjectiveIncidence.variableTreeEmpty_domain line 39