Fix #2195 by removing redundant zero from IsRing#2209

MatthewDaggitt merged 7 commits intomasteragda/agda-stdlib:masterfrom

ring-zero-bugagda/agda-stdlib:ring-zero-bugCopy head branch name to clipboard