Theorem Module.Finite.Ideal.fg_of_localizationSpan

Modification history