[ add ] rule of signs for `RingWithoutOne`#2761

JacquesCarette merged 4 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:rule-of-signsjamesmckinna/agda-stdlib:rule-of-signsCopy head branch name to clipboard