Database
BASIC ALGEBRAIC STRUCTURES
The complex numbers as an algebraic extensible structure
Definition and basic properties
cxmet
Next ⟩
cmet
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cxmet
Description:
Extend class notation with the class of all extended metric spaces.
Ref
Expression
Assertion
cxmet
class *Met