Commit 2025-01-23 18:56 33304202
View on Github →feat(Algebra/FreeMonoid): free monoids over isomorphic types are isomorphic (#18563) Free monoids over isomorphic types are isomorphic. Also, converting a relation on free monoid α to free monoids over β, when α and β are isomorphic