Metamath Proof Explorer


Syntax definition ccntz

Description: Syntax for the centralizer of a set in a monoid.

Ref Expression
Assertion ccntz class Cntz