Database
BASIC TOPOLOGY
Metric spaces
Normed algebraic structures
cnlm

Next ⟩ cnvc

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cnlm

Description: Normed module.

		Ref	Expression
	Assertion	cnlm	$class NrmMod$