Theorem Module.End.isSemisimple_iff'

Modification history