Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
Rings (extension)
The category of (unital) rings
cringc

Next ⟩ cringcALTV

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cringc

Description: Extend class notation to include the category Ring.

		Ref	Expression
	Assertion	cringc	$class RingCat$