Theorem Module.End.IsSemisimple.mul_of_commute

Modification history