Theorem IsLocalization.mk'_self'

Modification history