Theorem AlgHomClass.toRingHom_toAlgHom

Modification history