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

Next ⟩ ctdrg

Metamath Proof Explorer

Ascii
Unicode

Syntax definition ctrg

Description: The class of all topological division rings.

		Ref	Expression
	Assertion	ctrg	$class TopRing$