Theorem isLocalizedModule_iff_isLocalization'

Modification history