Theorem BialgHom.counitAlgHom_comp

Modification history

2026-05-05 00:06
Mathlib/RingTheory/Bialgebra/Hom.lean
refactor(Algebra): replace `AlgHomClass` coercions with structure-specific coercions (#38715) …
Added BialgHom.counitAlgHom_compView on Github →