Consider the rewrite rules that would be generated from the three commands below. In all three cases, the fact being stated relates the nth element of the reverse of x to the nth element of x. In fact ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results