from sympy.combinatorics.perm_groups import PermutationGroup

_af_new = ...

def DirectProduct(*groups) -> PermutationGroup: ...