Abstract Algebra - 9.3 Internal Direct Products

[@husaynmoledina8846]

at the end around 8:25, i think (12) is also an element of HK