Database
BASIC ALGEBRAIC STRUCTURES
Ideals
The subring algebra; ideals
csra
Next ⟩
crglmod
Metamath Proof Explorer
Ascii
Structured
Syntax definition
csra
Description:
Extend class notation with the subring algebra generator.
Ref
Expression
Assertion
csra
class
subringAlg