OAI/Combinatorics/SharpRamsey/Planar/HeavyPlaneCover.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpLogRamsey.HeavyPlaneRestriction.planeSupport_mono line 22
2. lemma OAI.SharpLogRamsey.HeavyPlaneRestriction.plane_cap_lift line 27
3. lemma OAI.SharpLogRamsey.HeavyPlaneRestriction.heavy_domain_gaps line 52
4. theorem OAI.SharpLogRamsey.HeavyPlaneRestriction.fixed_heavy_cover line 77