This is an inofficial mirror of http://metamath.tirix.org for personal testing of a visualizer extension only.

Metamath Proof Explorer

Syntax definition csdrg

Description: Syntax for subfields (sub-division-rings).

		Ref	Expression
	Assertion	csdrg	$class SubDRing$