Theorem RingHom.toKerIsLocalization_apply

Modification history