[ bug/refactor ] put `Algebra.Consequence.Propositional.sel⇒idem` in the right place #2881

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

jamesmckinna:bug-sel-idemjamesmckinna/agda-stdlib:bug-sel-idemCopy head branch name to clipboard