Theorem AlgHom.id_toRingHom

Modification history