OAI/Combinatorics/SharpRamsey/Geometry/TestRowPencils.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.SharpLogRamsey.PreparedRow.pencil line 20
2. abbrev OAI.SharpLogRamsey.PreparedRow.outsideMass line 23
3. structure OAI.SharpLogRamsey.PreparedRow.SecondPencil line 27
4. structure OAI.SharpLogRamsey.PreparedRow.HighPencil line 45
5. lemma OAI.SharpLogRamsey.PreparedRow.score_second_tail line 69
6. lemma OAI.SharpLogRamsey.PreparedRow.score_high_tail line 88