Metamath Proof Explorer


Syntax definition cabv

Description: The set of absolute values on a ring.

Ref Expression
Assertion cabv
class AbsVal