Metamath Proof Explorer


Syntax definition cafv2

Description: Extend the definition of a class to include the alternate function value. Read: "the value of F at A " or " F of A ". For using several apostrophes as a symbol see comment for cafv .

Ref Expression
Assertion cafv2
class ( F '''' A )