Theorem RingHom.OfLocalizationSpanTarget.ofLocalizationSpan

Modification history