Theorem StarAlgEquiv.toNonUnitalStarAlgHom_ofNonUnitalStarAlgHom

Modification history

2026-06-16 09:46
Mathlib/Algebra/Star/StarAlgHom.lean
feat: expand API for `StarAlgEquiv` (#40517) …
Added StarAlgEquiv.toNonUnitalStarAlgHom_ofNonUnitalStarAlgHomView on Github →