2019-11-29 Wadge degree全体のorder type Wadge degree全体のorder typeが\Thetaになることの証明のpdfを発掘したのでおいておきます. drive.google.com