Disallow duplicate named generators when constructing magmas, semigroups, groups, etc - #6097
Draft
wilfwilson wants to merge 1 commit into
Draft
Disallow duplicate named generators when constructing magmas, semigroups, groups, etc#6097wilfwilson wants to merge 1 commit into
wilfwilson wants to merge 1 commit into
The logs for this run have expired and are no longer available.
Loading