Theorem IsLocalization.injective_of_map_algebraMap_zero

Modification history