Theorem IsLocalization.mk'_self''

Modification history