Database
BASIC TOPOLOGY
Filters and filter bases
Topological rings, fields, vector spaces
ctlm

Next ⟩ ctvc

Metamath Proof Explorer

Unicode
Structured

Syntax definition ctlm

Description: The class of all topological modules.

		Ref	Expression
	Assertion	ctlm	class TopMod