Skip to content

Commit 874893a

Browse files
authored
chore(ErdosProblems): add missing references to 961 (google-deepmind#1879)
Found here: google-deepmind#1427 (comment)
1 parent 15810ca commit 874893a

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

FormalConjectures/ErdosProblems/961.lean

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,10 @@ import FormalConjectures.Util.ProblemImports
1818
/-!
1919
# Erdős Problem 961
2020
21-
*Reference:* [erdosproblems.com/961](https://www.erdosproblems.com/961)
21+
*References:*
22+
- [erdosproblems.com/961](https://www.erdosproblems.com/961)
23+
- [Ju74] Jutila, Matti, On numbers with a large prime factor. {II}. J. Indian Math. Soc. (N.S.) (1974), 125--130.
24+
- [RaSh73](https://eudml.org/doc/urn:eudml:doc:205214) Ramachandra, K. and Shorey, T. N., On gaps between numbers with a large prime factor. Acta Arith. (1973), 99--111.
2225
-/
2326

2427
open Classical Filter Real

0 commit comments

Comments
 (0)