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

Next ⟩ crngcALTV

Metamath Proof Explorer

Ascii
Unicode

Syntax definition crngc

Description: Extend class notation to include the category Rng.

		Ref	Expression
	Assertion	crngc	$class RngCat$