This is an old revision of the document!


Sequence reversion

Function

$ X $ … set
$ \mathrm{rev}: \mathrm{FiniteSequence}(X)\to\mathrm{FiniteSequence}(X) $
$ \pi_n(\mathrm{length}(S))=\pi_{\mathrm{length}{S}+1-n}(S)$

Discussion

Parents

Subset of

Requirements

Link to graph
Log In
Improvements of the human condition