Theorem IsLocalization.mk'_one

Modification history