Theorem Ideal.kerLiftAlg_toRingHom

Modification history