Theorem IsLocalization.injective_iff_map_algebraMap_eq

Modification history