The free Magma on a Set, resp. Setoid [bis]#1962
Draft
jamesmckinna wants to merge 33 commits into
Draft
Commits
Commits on May 15, 2023
- committed
- committed
- andcommitted
- andcommitted
- authored andcommitted
- authored andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
