AxiomaticTheory

Não disponível

Formas

AxiomaticTheory["theory"]

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

AxiomaticTheory[theory, "property"]

Pesquisar a referência

Relacionados

FindEquationalProof Groupings

Todas as 6300 funções · Usar isto de um cliente MCP