Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
F9755
Formulation 0
Let Xn be a D11: Set for each nN.
Let π:NN be a D353: Set automorphism on N.
Then nNXn=nNXπ(n)