Metamath Proof Explorer


Syntax definition cchr

Description: Syntax for ring characteristic.

Ref Expression
Assertion cchr
class chr