Theorem Module.End.isNilpotent.restrict

Modification history