Database
BASIC ALGEBRAIC STRUCTURES
The complex numbers as an algebraic extensible structure
Definition and basic properties
cfbas
Next ⟩
cfg
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cfbas
Description:
Extend class definition to include the class of filter bases.
Ref
Expression
Assertion
cfbas
class
fBas