Metamath Proof Explorer


Syntax definition cco

Description: Extend class notation with the composition operation.

Ref Expression
Assertion cco
class comp