ヘルマン・ワイル
List of things named after Hermann Weyl