zenaの日記

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

2013-10-15から1日間の記事一覧

SA

GN

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