Theorem IsLocalization.mk'_sub

Modification history