>>782

そうかな？

アルティンの本、ちゃんと証明していると思うんだけど。

フォーマルな書き方じゃないけど。