Theorem IsSemisimpleModule.exists_end_algEquiv

Modification history