From 0715466870d7f1455b9c6261ccdf55724df50128 Mon Sep 17 00:00:00 2001 From: Justin Gassner Date: Wed, 14 Feb 2024 06:56:19 +0100 Subject: Add more names --- names.txt | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/names.txt b/names.txt index f5a36a8..de2eb52 100644 --- a/names.txt +++ b/names.txt @@ -1,9 +1,35 @@ +Alaoglu Baire +Bochner +Borel +Fatou +Fubini Gassner +Gelfand Gårding +Haag +Haase +Hadamard +Hellinger +Krein +Kreyszig +Källén +Liouville +Lipschitz +Mazur +Milman +Morera Munkres +Neumann +Riesz +Rouché +Schwarz Sobolev Steinhaus Takesaki +Tietze +Toeplitz Tomita +Tychonoff +Urysohn Wightman -- cgit v1.2.3-54-g00ecf