AxiomaticTheory

Not available

Forms

AxiomaticTheory["theory"]

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

AxiomaticTheory[theory, "property"]

Search the reference

Related

FindEquationalProof Groupings

All 6300 functions · Use this from an MCP client