Theorem Module.End.isNilpotent_restrict_of_le

Modification history