k-transitive group (source code)

= k-transitive group

TODO why do we care about this?

Note that if a group is k-transitive, then it is also k-1-transitive.