OAI/Combinatorics/SharpRamsey/Geometry/EightIntersections.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpLogRamsey.CapComposition.powers line 12
2. lemma OAI.SharpLogRamsey.CapComposition.powers_step line 16
3. lemma OAI.SharpLogRamsey.CapComposition.powers_card line 20
4. lemma OAI.SharpLogRamsey.CapComposition.loss_inter line 32
5. lemma OAI.SharpLogRamsey.CapComposition.remains_nonempty line 38
6. theorem OAI.SharpLogRamsey.CapComposition.eight_intersections line 46