>>632
>だと、口の悪い人は IUTを罵倒する。その筆頭が、Scholze氏です
彼が論難してるのはCor 3.12で
それはIUT IVじゃなくてIIIなのでは?