Database
BASIC TOPOLOGY
Metric spaces
Normed algebraic structures
cngp

Next ⟩ ctng

Metamath Proof Explorer

Unicode
Structured

Syntax definition cngp

Description: The class of all normed groups.

		Ref	Expression
	Assertion	cngp	class NrmGrp