Theorem RingHom.IsStableUnderBaseChange.isLocalization_map

Modification history