Theorem RingHom.locally_holdsForLocalizationAway

Modification history