Metamath Proof Explorer


Syntax definition csdrg

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

Ref Expression
Assertion csdrg
class SubDRing