Commit 2025-08-21 10:17 9e0bebc6
View on Github →refactor: state hypotheses of BialgHom.ofAlgHom as equalities of AlgHoms (#28142)
... as opposed to equalities of LinearMaps, and similarly for BialgEquiv.ofAlgEquiv. This way, dedicated ext lemmas can fire.
From Toric