Mathlib Changelog
v4
Changelog
About
Github
Def
StarMonoidHom.ofClass
Modification history
2025-08-06 01:34
Mathlib/Algebra/Star/MonoidHom.lean
feat: define morphism type `StarMonoidHom` (#27763) …
Added
StarMonoidHom.ofClass
View on Github →