Hannah Fechtner

Results 3 issues of Hannah Fechtner

feat (Algebra/FreeMonoid) : define set of symbols in free monoid element

1 comment

We add a separate file in which the set of symbols of a FreeMonoid element is defined. This is separated so that users of the basic FreeMonoid file need not...

awaiting-author
t-algebra
new-contributor

feat: presented monoids

5 comment

Define presented monoids and their universal property. This requires some additions to free monoids, and GroupTheory/Congruence --- - [ ] depends on: #17180 [![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/from-referrer/)

awaiting-author
merge-conflict
t-algebra
new-contributor

feat (GroupTheory/Congruence): add simp lemmas for comap equivalences

2 comment

add a few lemmas, mostly about when the underlying types are equal, so too must be the quotient --- [![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/from-referrer/)

t-algebra
new-contributor