Database
BASIC ALGEBRAIC STRUCTURES
Groups
Centralizers and centers
ccntz
Next ⟩
ccntr
Metamath Proof Explorer
Ascii
Structured
Syntax definition
ccntz
Description:
Syntax for the centralizer of a set in a monoid.
Ref
Expression
Assertion
ccntz
class
Cntz