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