Metamath Proof Explorer


Syntax definition cnrg

Description: Normed ring.

Ref Expression
Assertion cnrg class NrmRing