Theorem Localization.mk_pow

Modification history