OAI/Combinatorics/RamseyFive/Marking/ReciprocalDomainCaps.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpRamseyFive.Marking.endpoint_support_domains line 20
2. lemma OAI.SharpRamseyFive.Marking.ReciprocalCaps.of_domains line 33
3. lemma OAI.SharpRamseyFive.Marking.support_map_mono line 46
4. lemma OAI.SharpRamseyFive.Marking.ReciprocalCaps.history line 63
5. def OAI.SharpRamseyFive.Marking.historyCollision line 98
6. def OAI.SharpRamseyFive.Marking.actualWindowSet line 102
7. lemma OAI.SharpRamseyFive.Marking.actualWindowSet_eq line 109
8. def OAI.SharpRamseyFive.Marking.actualWindows line 118
9. theorem OAI.SharpRamseyFive.Marking.actualWindows_drop_mean line 141