Database
BASIC TOPOLOGY
Metric spaces
Normed algebraic structures
cnlm

Next ⟩ cnvc

Metamath Proof Explorer

Unicode
Structured

Syntax definition cnlm

Description: Normed module.

		Ref	Expression
	Assertion	cnlm	class NrmMod