Theorem IsLocalizedModule.iso_symm_apply_aux

Modification history