Theorem IsLocalization.mk'_sec

Modification history