OAI/NumberTheory/Jacobsthal/Estimates/HypotheticalPairRows.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Erdos970.ErdosHypotheticalTag.hypothetical_small_parameters line 14
2. theorem OAI.Erdos970.ErdosHypotheticalTag.hypothetical_count_parameters line 30
3. theorem OAI.Erdos970.ErdosHypotheticalTag.source_all_search_units line 53
4. theorem OAI.Erdos970.ErdosHypotheticalTag.source_hypothetical_count_parameters line 77
5. def OAI.Erdos970.ErdosStoppedArithmetic.hypotheticalRowCount line 99
6. theorem OAI.Erdos970.ErdosStoppedArithmetic.hypothetical_row_parameters line 103
7. theorem OAI.Erdos970.ErdosStoppedArithmetic.parameter_value_integer line 113
8. theorem OAI.Erdos970.ErdosStoppedArithmetic.actual_test_mem_parameters line 120
9. theorem OAI.Erdos970.ErdosStoppedArithmetic.pair_count_le_hypothetical_sum line 134