Theorem RingHom.surjectiveOnStalks_iff_of_isLocalHom

Modification history