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

Next ⟩ cmfsh

Metamath Proof Explorer

Ascii
Structured

Syntax definition cmvsb

Description: Substitution for a valuation.

		Ref	Expression
	Assertion	cmvsb	class mVSubst