AxiomaticTheory

Недоступно

Формы

AxiomaticTheory["theory"]

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

AxiomaticTheory[theory, "property"]

Поиск по справочнику

Связанное

FindEquationalProof Groupings

Все 6300 функций · Использовать из MCP-клиента