[ add ] left- and right- actions induced by a Magma homomorphism#2894

jamesmckinna wants to merge 7 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:magma-morphism-actionsjamesmckinna/agda-stdlib:magma-morphism-actionsCopy head branch name to clipboard