AxiomaticTheory

Non disponible

Formes

AxiomaticTheory["theory"]

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

AxiomaticTheory[theory, "property"]

Rechercher dans la référence

Connexes

FindEquationalProof Groupings

Les 6300 fonctions · Utiliser ceci depuis un client MCP