Metamath Proof Explorer

Syntax definition ccofu

Description: Extend class notation with functor composition.

Ref Expression
Assertion ccofu 
class o.func