OAI/Combinatorics/SharpRamsey/Windows/WindowDeletion.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpLogRamsey.Selection.Windows.badWindows line 12
2. lemma OAI.SharpLogRamsey.Selection.Windows.badWindows_image line 16
3. lemma OAI.SharpLogRamsey.Selection.Windows.badWindows_card line 30
4. theorem OAI.SharpLogRamsey.Selection.Windows.downward_sum line 46
5. theorem OAI.SharpLogRamsey.Selection.Windows.downward_deleted line 64
6. def OAI.SharpLogRamsey.Selection.Windows.goodTargets line 81
7. lemma OAI.SharpLogRamsey.Selection.Windows.goodTargets_card line 85
8. lemma OAI.SharpLogRamsey.Selection.Windows.goodTargets_loss line 100