Axiomatic Method for Definition: Elementary Symmetric Functions [8151]

Underlying Axioms

Logical Predecessors

Logical Successors

OK