[Add] Consequences of identity for monoids#2692

MatthewDaggitt merged 45 commits into

agda:masteragda/agda-stdlib:masterfrom

jmougeot:monoid-reasoningjmougeot/agda-stdlib:monoid-reasoningCopy head branch name to clipboard