Formulation is not buggy, is just bad worded: "permutation blah blah is a permutation because blah blah". Of course is a permutation, but it should say "is an automorfism because blah blah"... And so on. The "math" is right.
The puzzle is not very difficult.
Last fiddled with by LaurV on 20200903 at 06:55
