いや、昔は確実に入っていたと思いますね。例えばワイエルストラスとか
ヒルベルトとかネーターとか。でも今はそうではないと思う人が多いのか
も知れませんよね。

猫