2014-01-08 美しい記号 次なる補題を作るにあたって,主張を記述するために必要な記号を何で設定するか。 Key Lemma だから適切な美しい文字を割り当てたいけど何にしよう。 さっきの進歩でだいぶ綺麗な補題が得られます。