OAI/Combinatorics/RamseyFive/Marking/WindowReciprocalScores.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpRamseyFive.Windows.earlySlot line 11
2. def OAI.SharpRamseyFive.Windows.lateSlot line 13
3. def OAI.SharpRamseyFive.Windows.middleSlot line 15
4. lemma OAI.SharpRamseyFive.Windows.early_middle_le line 16
5. lemma OAI.SharpRamseyFive.Windows.middle_late_le line 21
6. lemma OAI.SharpRamseyFive.Windows.early_late_le line 26
7. theorem OAI.SharpRamseyFive.Marking.window_reference_sparse line 46
8. theorem OAI.SharpRamseyFive.Marking.window_target_right_sparse line 67
9. theorem OAI.SharpRamseyFive.Marking.window_target_left_sparse line 91