Substitution (algebra) (source code)

= Substitution
{disambiguate=algebra}

= Substitution
{synonym}

A substitution replaces a <variable> or subexpression by another <expression>. In an <equation> or <differential equation>, introducing a new <variable> can expose a simpler form; any division or inverse transformation must retain its domain restrictions and separately check discarded branches.