binomial lemmas for *-commuting elements in a Semiring#1927

MatthewDaggitt merged 8 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:binomial-lemmajamesmckinna/agda-stdlib:binomial-lemmaCopy head branch name to clipboard