Theorem IsLocalization.mk'_spec'_mk

Modification history