Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Metamath formal systems
cmrsub
Next ⟩
cmsub
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cmrsub
Description:
The set of raw substitutions.
Ref
Expression
Assertion
cmrsub
class
mRSubst