Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-12-31 06:46
d198f498
View on Github →
chore(Algebra/MonoidAlgebra): don't use hom classes when bundling
mapDomain
(
#33137
)
Estimated changes
Modified
Mathlib/Algebra/MonoidAlgebra/Basic.lean
modified
def
MonoidAlgebra.mapDomainAlgHom
modified
def
MonoidAlgebra.mapDomainNonUnitalAlgHom