Database
BASIC TOPOLOGY
Metric spaces
Normed space homomorphisms (bounded linear operators)
cnghm

Next ⟩ cnmhm

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cnghm

Description: The class of normed group homomorphisms.

		Ref	Expression
	Assertion	cnghm	$class NGHom$