Document DirectProductElement#6260

limakzi wants to merge 1 commit intogap-system:mastergap-system/gap:masterfrom

limakzi:3452-document-directproductelementlimakzi/gap-system:3452-document-directproductelementCopy head branch name to clipboard