Theorem RingHom.LocalizationAwayPreserves.respectsIso

Modification history