Database
BASIC ALGEBRAIC STRUCTURES
Division rings and fields
Star rings
Next ⟩
cstf
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 10.4.4. Star rings
cstf
csr
df-staf
df-srng
staffval
stafval
staffn
issrng
srngrhm
srngring
srngcnv
srngf1o
srngcl
srngnvl
srngadd
srngmul
srng1
srng0
issrngd
idsrngd