Metamath Proof Explorer


Syntax definition cfth

Description: Extend class notation with the class of all faithful functors.

Ref Expression
Assertion cfth class Faith