bipart: error when trying to multiply bipartitions of diff. degree#1185

james-d-mitchell merged 1 commit into

semigroups:mainsemigroups/Semigroups:mainfrom

james-d-mitchell:error-prod-bipart-diff-degjames-d-mitchell/Semigroups:error-prod-bipart-diff-degCopy head branch name to clipboard