関数電卓総合スレッドその８

[0739 Nanashi_et_al. 2018/08/16(木) 17:17:36.72]

>>738
Mills は On folk theorem という論文で構造化定理を作ったと自称している。