Metamath Proof Explorer


Syntax definition cfbas

Description: Extend class definition to include the class of filter bases.

Ref Expression
Assertion cfbas class fBas