Metamath Proof Explorer


Syntax definition cfix

Description: Declare the syntax for the fixpoints of a class.

Ref Expression
Assertion cfix
class Fix A