Theorem IsLocalizedModule.iso_symm_comp

Modification history