Database
BASIC TOPOLOGY
Metric spaces
Normed algebraic structures
cngp

Next ⟩ ctng

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cngp

Description: The class of all normed groups.

		Ref	Expression
	Assertion	cngp	$class NrmGrp$