Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Peter Mazsa
Notations
cfunss
Next ⟩
cfunsALTV
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cfunss
Description:
Extend the definition of a class to include the function set class.
Ref
Expression
Assertion
cfunss
class
Funss