Theorem Localization.mk_prod

Modification history