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

Next ⟩ cmevl

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cmfr

Description: The set of freshness relations.

		Ref	Expression
	Assertion	cmfr	$class mFRel$