zenaの日記

麻雀と最近放置している不等式と、極希に更新しているスペクトル以外には、ここを見る価値は基本的にありません。また、管理者は気まぐれにしか更新しませんので悪しからず。

SA

暇な時に纏めているけど,中々気持ち悪い事になってきた.compactのところをZFで書きなおしてACとかBPIと同値な命題を集めたのが間違いだったかもしれない.