昨日わからなかったところが無事解決。 あとは1ヶ所、引用文献に引用されている定理番号が存在しない問題を残すのみ。 これはまぁなければないでひとつ定理がなくなるだけなので、 個人的に追わなくてもいいかもしれないなぁ。 とりあえず今日は、このあと雷…