SubstituteAll[expr, aListOfRules, (optional On)]

Aliases: SubAll

Description: For every rule $a \rightarrow b$, SubAll also replaces,

$$tp[a] \rightarrow tp[b] inv[a] \rightarrow inv[b] \ rt[a] \rightarrow rt[b] .$$

Arguments: $expr$ is an algebraic expression. $aListOfRules$ is a single rule or list of rules specifying the substitution to be made. On = save rules to Rules.temp, temporarily over-riding SaveRules[Off]. 'Off' can not over-ride SaveRules[On].

Comments / Limitations: None