Theorem IsLocalization.mk'_mem_iff

Modification history