Metamath Proof Explorer


Syntax definition cfunc

Description: Extend class notation with the class of all functors.

Ref Expression
Assertion cfunc
class Func