Database
BASIC ALGEBRAIC STRUCTURES
Division rings and fields
Subrings of a ring
crgspn
Next ⟩
df-subrg
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
crgspn
Description:
Extend class notation with span of a set of elements over a ring.
Ref
Expression
Assertion
crgspn
$${class}\mathrm{RingSpan}$$