Database
BASIC ALGEBRAIC STRUCTURES
The complex numbers as an algebraic extensible structure
Definition and basic properties
cpsmet
Next ⟩
cxmet
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cpsmet
Description:
Extend class notation with the class of all pseudometric spaces.
Ref
Expression
Assertion
cpsmet
class
PsMet