Metamath Proof Explorer


Syntax definition ccofu

Description: Extend class notation with functor composition.

Ref Expression
Assertion ccofu
class o.func