Database
BASIC TOPOLOGY
Metric spaces
Normed space homomorphisms (bounded linear operators)
cnghm
Next ⟩
cnmhm
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cnghm
Description:
The class of normed group homomorphisms.
Ref
Expression
Assertion
cnghm
class
NGHom