>>13
補足どうも
perfectoidをつかってS氏がp進RHを確立したという話は昔聴いたことがあったので