Database
BASIC ALGEBRAIC STRUCTURES
The complex numbers as an algebraic extensible structure
Definition and basic properties
cbl
Next ⟩
cfbas
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cbl
Description:
Extend class notation with the metric space ball function.
Ref
Expression
Assertion
cbl
class ball