Metamath Proof Explorer


Syntax definition ccoa

Description: Extend class notation to include composition for arrows.

Ref Expression
Assertion ccoa class compa