Theorem AlgHom.toNonUnitalAlgHom_eq_coe

Modification history