11/03/18 23:05:57.04
だって、replacement theoremとstrong replacement theoremは同値じゃん。
なんでstrongなのかわからん
11/03/18 23:05:57.04
だって、replacement theoremとstrong replacement theoremは同値じゃん。
なんでstrongなのかわからん
11/03/18 23:05:57.04
だって、replacement theoremとstrong replacement theoremは同値じゃん。
なんでstrongなのかわからん