[ add ] Algebra.Definitions.Central plus Consequences for Identity and Zero#2873

jamesmckinna merged 4 commits into

agda:masteragda/agda-stdlib:masterfrom

jamesmckinna:centraljamesmckinna/agda-stdlib:centralCopy head branch name to clipboard