Metamath Proof Explorer

Syntax definition ccoa

Description: Extend class notation to include composition for arrows.

Ref Expression
Assertion ccoa 
class compA