diff options
author | Justin Gassner <justin.gassner@mailbox.org> | 2024-02-14 06:56:19 +0100 |
---|---|---|
committer | Justin Gassner <justin.gassner@mailbox.org> | 2024-02-14 06:56:19 +0100 |
commit | 0715466870d7f1455b9c6261ccdf55724df50128 (patch) | |
tree | 02f0815fa2b5ed0d8988a506c8846f1d139800ea | |
parent | 5f3c438665f20f7fa0ad17c35b87946426a0cc45 (diff) | |
download | my-cspell-dicts-0715466870d7f1455b9c6261ccdf55724df50128.tar.zst |
Add more names
-rw-r--r-- | names.txt | 26 |
1 files changed, 26 insertions, 0 deletions
@@ -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 |