Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Metamath formal systems
cmsub

Next ⟩ cmvh

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cmsub

Description: The set of substitutions.

		Ref	Expression
	Assertion	cmsub	$class mSubst$