Talk:List of things named after Hermann Weyl

Separation
Hi, decided to separate this article out. Defintely worthy of an article on its own, not so? Ema--or (talk) 00:28, 16 December 2016 (UTC)