Theorem Module.End.IsSemisimple.sub_of_commute

Modification history