Consistent action of conjugation#26

switzel wants to merge 2 commits intocduck:mastercduck/hyperbolic:masterfrom

switzel:semidirect_productswitzel/hyperbolic:semidirect_productCopy head branch name to clipboard