Metamath Proof Explorer


Syntax definition carw

Description: Extend class notation to include the collection of all arrows of a category.

Ref Expression
Assertion carw
class Arrow