Database
BASIC ALGEBRAIC STRUCTURES
Rings
Subrings
Subrings generated by a subset
crgspn
Next ⟩
df-rgspn
Metamath Proof Explorer
Unicode
Structured
Syntax definition
crgspn
Description:
Extend class notation with span of a set of elements over a ring.
Ref
Expression
Assertion
crgspn
class RingSpan