Syntax definition cric

Description: Extend class notation with the ring isomorphism relation.

	Ref	Expression
Assertion	cric	$$class{\simeq }_{𝑟}$$