OAI/NumberTheory/Ostmann/Arithmetic/HistoryGiantReferenceSourceBoundsSelected.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Ostmann.Arithmetic.HistoryGiantReferenceSourceBounds.selected_prime_reference_sourceBounds line 13
2. theorem OAI.Ostmann.Arithmetic.HistoryGiantReferenceSourceBounds.selected_mixed_reference_sourceBounds line 50
3. theorem OAI.Ostmann.Arithmetic.HistoryGiantReferenceSourceBounds.option_constant_endpoint line 87
4. theorem OAI.Ostmann.Arithmetic.HistoryGiantReferenceSourceBounds.sourceBounds_option_endpoints line 91