Theorem AlgEquiv.refl_to_algHom

Modification history