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

Next ⟩ cmsub

Metamath Proof Explorer

Unicode
Structured

Syntax definition cmrsub

Description: The set of raw substitutions.

		Ref	Expression
	Assertion	cmrsub	class mRSubst