Metamath Proof Explorer


Syntax definition cnrg

Description: Normed ring.

Ref Expression
Assertion cnrg
class NrmRing