Theorem MonoidAlgebra.mapDomainAlgHom_id

Modification history

2024-05-16 08:10

Mathlib/Algebra/MonoidAlgebra/Basic.lean

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

Added MonoidAlgebra.mapDomainAlgHom_id View on Github →