Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
p-adic number fields
czr

Next ⟩ cgf

Metamath Proof Explorer

Unicode
Structured

Syntax definition czr

Description: Integral elements of a ring.

		Ref	Expression
	Assertion	czr	class ZRing