Theorem AddMonoidAlgebra.mapDomainBialgHom_id

Modification history

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