Database
BASIC ALGEBRAIC STRUCTURES
The complex numbers as an algebraic extensible structure
Definition and basic properties
cfg
Next ⟩
cmopn
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cfg
Description:
Extend class definition to include the filter generating function.
Ref
Expression
Assertion
cfg
class filGen