OAI/Combinatorics/RamseyFive/Trees/IntegerWindows.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpRamseyFive.ParameterHierarchy.integral_floor_half line 9
2. lemma OAI.SharpRamseyFive.ParameterHierarchy.integral_window_packing line 13
3. lemma OAI.SharpRamseyFive.ParameterHierarchy.integral_round_packing line 27
4. lemma OAI.SharpRamseyFive.ParameterHierarchy.integer_window_length line 38