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 ) |