AxiomaticTheory

利用不可

形式

AxiomaticTheory["theory"]

AxiomaticTheory[{"theory", <| "op1" -> s1, "op2" -> s2, … |>}]

AxiomaticTheory[theory, "property"]

リファレンスを検索

関連

FindEquationalProof Groupings

全 6300 関数 · MCPクライアントから使う