Theorem AlgEquiv.refl_toAlgHom

Modification history