Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Models of formal systems
cmvsb
Next ⟩
cmfsh
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cmvsb
Description:
Substitution for a valuation.
Ref
Expression
Assertion
cmvsb
class mVSubst