Database
BASIC STRUCTURES
Extensible structures
Basic definitions
cbs
Next ⟩
cress
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cbs
Description:
Extend class notation with the class of all base set extractors.
Ref
Expression
Assertion
cbs
class
Base