Theorem RingHom.locally_StableUnderCompositionWithLocalizationAwayTarget

Modification history