Commit 2024-02-13 23:17 69935384
View on Github →feat: a star monoid homomorphism induces a monoid homomorphism on unitary submonoids (#10370)
This adds a few facts related to unitary elements and their behavior with respect to star monoid homomorphisms.