Direct product by Ciro Santilli 35 Updated +Created
A Cartesian product that carries over some extra structure of the input groups.
E.g. the direct product of groups carries over group structure on both sides.

New to topics? Read the docs here!