Metamath Proof Explorer


Syntax definition cfv

Description: Extend the definition of a class to include the value of a function. Read: "the value of F at A ", or " F of A ".

Ref Expression
Assertion cfv class F A