# Commit 2024-05-14 07:39 c36fe272

View on Github →feat: bialgebra homomorphisms (#11962)
Homomorphisms of bialgebras, mimicking the file `Mathlib.Algebra.Algebra.Hom`

.

feat: bialgebra homomorphisms (#11962)
Homomorphisms of bialgebras, mimicking the file `Mathlib.Algebra.Algebra.Hom`

.