mathlib
065f083b - feat(group_theory): monoid / group closure of union

Commit

7 years ago

feat(group_theory): monoid / group closure of union

References

#655 - feat(group_theory): monoid / group closure of union

Author

kckennylau

kckennylau

Committer

johoelzl

johoelzl

Parents

Loading