Theorem isLocalizedModule_iff_isBaseChange

Modification history