2024年9月30日
・DBについて名前を変更したい。→ Thm -> Prop (名前を変える）表示名と逆？表示上はいらない。詳細ボタンはいらない。一行つづ背景色を変える ・バックアップは定期的に ・webページの作り方。ファイルがぐちゃぐ […]
2024年9月29日
・外部変数を扱えるように。補題も・php functionの整備。順番替える。ary1_map,tex0,decent0を改良？・word関数の#を\に・数学の教科書を先に進めるきれいな定義を可能に・必要な「推論の道具」 […]