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

Next ⟩ cnghm

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cnmo

Description: The operator norm function.

		Ref	Expression
	Assertion	cnmo	$class normOp$