Theorem Module.End.IsSemisimple.add_of_commute

Modification history