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

Next ⟩ ccpms

Metamath Proof Explorer

Unicode
Structured

Syntax definition citr

Description: Integral subring of a ring.

		Ref	Expression
	Assertion	citr	class IntgRing