Theorem IsLocalizedModule.is_universal

Modification history