AxiomaticTheory

Tidak tersedia

Bentuk

AxiomaticTheory["theory"]

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

AxiomaticTheory[theory, "property"]

Cari dalam rujukan

Berkaitan

FindEquationalProof Groupings

Semua 6300 fungsi · Gunakan ini daripada klien MCP