Theorem AddMonoidAlgebra.mapDomainBialgHom_mapDomainBialgHom

Modification history

2025-04-23 09:49
Mathlib/RingTheory/Bialgebra/MonoidAlgebra.lean
feat(Bialgebra/MonoidAlgebra): `mapDomain` as a `BialgHom` (#23722) …
Added AddMonoidAlgebra.mapDomainBialgHom_mapDomainBialgHomView on Github →