Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Splitting fields
citr

Next ⟩ ccpms

Metamath Proof Explorer

Ascii
Unicode

Syntax definition citr

Description: Integral subring of a ring.

		Ref	Expression
	Assertion	citr	$class IntgRing$