AxiomaticTheory

Niet beschikbaar

Vormen

AxiomaticTheory["theory"]

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

AxiomaticTheory[theory, "property"]

Doorzoek de referentie

Gerelateerd

FindEquationalProof Groupings

Alle 6300 functies · Gebruik dit vanuit een MCP-client