OAI/Combinatorics/SharpRamsey/Learning/TestActualRow.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.SharpLogRamsey.PreparedRow.inc line 19
2. lemma OAI.SharpLogRamsey.PreparedRow.pencil_inter_count line 22
3. lemma OAI.SharpLogRamsey.PreparedRow.pencil_degree line 29
4. def OAI.SharpLogRamsey.PreparedRow.rowTest line 35
5. theorem OAI.SharpLogRamsey.PreparedRow.geometric_row_probability line 41