Definition talk:Internal Group Direct Product/General Definition

Why do we have both https://proofwiki.org/wiki/Internal_Direct_Product_Theorem and https://proofwiki.org/wiki/Definition:Internal_Group_Direct_Product ? Why can't we just have a 3rd definition? BCLC (talk) 01:11, 28 October 2021 (UTC)