http://lkbys.sakura.ne.jp/lkbys/Public/left_exactness/left_exactness_I.pdfに置いているPDFを更新しました。 補題1.51の主張に、射影（とはこの補題では呼んでいないけれども）がSのすべての元を0に写すことを含めました。それに伴って、その分の証明を…

今日の詰めチャレは7勝3敗でした。