Metamath Proof Explorer

Syntax definition cfuco

Description: Extend class notation with functor composition bifunctors.

Ref Expression
Assertion cfuco 
class o.F