Theorem IsSemisimpleModule.extension_property

Modification history