Theorem isLocalizedModule_id

Modification history