Metamath Proof Explorer


Syntax definition cyon

Description: Extend class notation with the Yoneda embedding.

Ref Expression
Assertion cyon class Yon