Metamath Proof Explorer


Syntax definition cmvsb

Description: Substitution for a valuation.

Ref Expression
Assertion cmvsb
class mVSubst