Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Norm Megill
Construction of a vector space from a Hilbert lattice
cedring
Next ⟩
cedring-rN
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cedring
Description:
Extend class notation with division ring on trace-preserving endomorphisms.
Ref
Expression
Assertion
cedring
class
EDRing