Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Models of formal systems
cmfsh

Next ⟩ cmfr

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cmfsh

Description: The freshness relation of a model.

		Ref	Expression
	Assertion	cmfsh	$class mFresh$