Theorem Module.End.isFinitelySemisimple_iff'

Modification history