Theorem IsIsotypicOfType.of_isSimpleModule

Modification history