Metamath Proof Explorer


Syntax definition cnat

Description: Extend class notation to include the collection of natural transformations.

Ref Expression
Assertion cnat class Nat