AxiomaticTheory

Недоступно

Форми

AxiomaticTheory["theory"]

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

AxiomaticTheory[theory, "property"]

Пошук у довіднику

Пов'язане

FindEquationalProof Groupings

Усі 6300 функцій · Використати з MCP-клієнта