Metamath Proof Explorer


Syntax definition cmevl

Description: The evaluation function of a model.

Ref Expression
Assertion cmevl class mEval