Database
BASIC ALGEBRAIC STRUCTURES
The complex numbers as an algebraic extensible structure
Algebraic constructions based on the complex numbers
cchr

Next ⟩ czn

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cchr

Description: Syntax for ring characteristic.

		Ref	Expression
	Assertion	cchr	$class chr$