Theorem Module.Finite.RingHom.ker_fg_of_localizationSpan

Modification history