9/17(木) 曇り 書く時間がだんだん遅くなっている。いま23:30だし流石に明日は午前中に書き始めたい。今日は10時頃起きてその後残りの証明をした。証明した事柄は次の通り。 主張 をschemeとし、finite typeな-module とfinite locally freeな-module とその…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。