Theorem AlgEquiv.refl_toRingHom

Modification history