2023-12-17 ノートがすぐとける 行間を埋めると大体こうなる。空気になりたい凡人です。 絶賛本一冊完走で修行中だが、数学書によくある横着などを埋めるとどうしても元の本よりページを取られてしまう。仕方のないこととはいえ、もう少し節約できないものか。例えば、「自明」を使う条件を広げられるようにするとか。 現場からは以上です。