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

Next ⟩ ctvc

Metamath Proof Explorer

Ascii
Unicode

Syntax definition ctlm

Description: The class of all topological modules.

		Ref	Expression
	Assertion	ctlm	$class TopMod$