Theorem AlgEquiv.ofAlgHom_coe_algHom

Modification history