読者です 読者をやめる 読者になる 読者になる

雑記 雑記

寝ず。
iterated forcingの基本的な事実の証明のアイディアを思いついた。
少しonmp.texの作業した。
夜寝た。