Theorem AlgEquiv.coe_algHom_injective

Modification history