Reverse substitution
16993
Can I simplify an expression into form which uses my own definitions?
83610
Why does substitution work in antiderivatives?
114830
bit-wise operation unary ~ (invert)
32642
The formalism behind integration by substitution
102542
Is there a way to reverse factorials?
128867
Inverse of order preserving transformation
58561
Right and left inverse
101544
Method to reverse a Kronecker product
98372
Proof of the principle of backwards induction
67282
Reverse String order
119932
Generalizing $\,r(n^2) = r(n)^2,\,$ for $\,r(n) := $ reverse the digits of $n$
120748
Combination With Finite Replacements
124552
Notation for infinite product in reverse order
42527
Right-to-left string replace in Python?
21254
Formal language: Proving the reverse operation on a word through induction
38175
How can I use a variable in the replacement side of the Perl substitution operator?
121431
Opposite function to Normal