Theorem IsLocalization.mem_map_algebraMap_iff

Modification history