・DBについて名前を変更したい。→ Thm -> Prop (名前を変える） →優先３表示名と逆？表示名はいらない？詳細ボタンはいらない。一行つづ背景色を変える →済みデフォルトで100行表示に →優先１ ・web […]
・単独表記を持たないwordの紹介・外部変数を扱えるように。補題も・php functionの整備。順番替える。ary1_map,tex0,decent0を改良？・word関数の#を\に・数学の教科書を先に進めるきれいな […]