1. カテゴリーなし

曲率1以上のアレクサンドロフ空間と球面の間の グロモフ・ハウスドルフ距離