Theorem Localization.mk_int_cast

Modification history