from test2 : 202605014_1 from test2 : 20260421_1 計算に時間がかかるようになった。要調査 プラグインGtranslate vscode で編集できるように 本番サイトの反映 […]
Metamath Metamathの主要ライブラリである set.mm は、まさにあなたが探している「抽象数学の基礎からきれいにまとめてくれている」最高峰の結晶です。ZFC集合論の公理（約20個）だけをスタート地点として […]
本番…2026/4/19test1…2026/4/12 rite_check.phpでテスト`X sub Y <==> {pile_ X cup Y =s Y} <==> X cap Y =s X``X su […]
