Metamath Proof Explorer


Syntax definition cmfsh

Description: The freshness relation of a model.

Ref Expression
Assertion cmfsh
class mFresh