[ bug/refactor ] put Algebra.Consequence.Propositional.sel⇒idem in the right place#2874
Closed
jamesmckinna wants to merge 2 commits intoagda:masterfrom
Hidden character warning
The head ref may contain hidden characters: "bug-sel\u21d2idem"
Closed
[ bug/refactor ] put `Algebra.Consequence.Propositional.sel⇒idem` in the right place#2874jamesmckinna wants to merge 2 commits intoagda:masterfrom
jamesmckinna wants to merge 2 commits intoagda:masterfrom
