Theorem IsLocalization.mk'_neg

Modification history