Theorem IsLocalization.mk'_mem_map_algebraMap_iff

Modification history