Theorem Module.End.isNilpotent_restrict_genEigenspace_nat

Modification history