Metamath Proof Explorer


Syntax definition cfunss

Description: Extend the definition of a class to include the function set class.

Ref Expression
Assertion cfunss class Funss