グロﾀﾝ若し頃の位相ベクトル空間の仕事ってのは、どのくらいすごいんでしょうか？
解析系の人評価求む。