Commit 2024-05-16 08:10 efc0554a

View on Github →

feat: minor API lemmas for (Add)MonoidAlgebra.mapDomainAlgHom (#12764)

Estimated changes

Modified Mathlib/Algebra/MonoidAlgebra/Basic.lean

added theorem AddMonoidAlgebra.mapDomainAlgHom_comp

added theorem AddMonoidAlgebra.mapDomainAlgHom_id

added theorem MonoidAlgebra.mapDomainAlgHom_comp

added theorem MonoidAlgebra.mapDomainAlgHom_id