isGroupOfPermutationsOf
P186113
predicate
Indicates that one entity is a mathematical group whose elements are permutations of another entity, typically acting on that entity’s elements.