The free Magma on a Set, resp. Setoid#1954
Closed
jamesmckinna wants to merge 40 commits intoagda:masterfrom
Closed
The free Magma on a Set, resp. Setoid#1954jamesmckinna wants to merge 40 commits intoagda:masterfrom
Magma on a Set, resp. Setoid#1954jamesmckinna wants to merge 40 commits intoagda:masterfrom
Commits
Commits on Apr 22, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 23, 2023
- committed
- committed
- committed
- committed
- committed
Commits on Apr 25, 2023
- committed
Commits on Apr 27, 2023
Commits on Apr 28, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 29, 2023
Commits on Apr 30, 2023
Commits on May 1, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed