Theorem RingHom.locally_respectsIso

Modification history