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

Next ⟩ df-nmo

Metamath Proof Explorer

Unicode
Structured

Syntax definition cnmhm

Description: The class of normed module homomorphisms.

		Ref	Expression
	Assertion	cnmhm	class NMHom