Theorem AlgEquiv.toAlgHom_ofBijective

Modification history

2025-08-21 10:17
Mathlib/Algebra/Algebra/Equiv.lean
refactor: state hypotheses of `BialgHom.ofAlgHom` as equalities of `AlgHom`s (#28142) …
Added AlgEquiv.toAlgHom_ofBijectiveView on Github →