from test2 : 202605014_1 from test2 : 20260421_1 計算に時間がかかるようになった。要調査 プラグインGtranslate vscode で編集できるように 本番サイトの反映 […]
Metamath Metamathの主要ライブラリである set.mm は、まさにあなたが探している「抽象数学の基礎からきれいにまとめてくれている」最高峰の結晶です。ZFC集合論の公理（約20個）だけをスタート地点として […]
本番…2026/4/19test…2026/4/12test3… memo・prop-, raw, thm W., 古いprf の使用を止める
