Database
BASIC ALGEBRAIC STRUCTURES
Division rings and fields
Absolute value (abstract algebra)
cabv
Next ⟩
df-abv
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cabv
Description:
The set of absolute values on a ring.
Ref
Expression
Assertion
cabv
class AbsVal