AxiomaticTheory

不可用

形式

AxiomaticTheory["theory"]

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

AxiomaticTheory[theory, "property"]

搜尋參考文件

相關

FindEquationalProof Groupings

全部 6300 個函式 · 從 MCP 用戶端使用這個