Theorem Module.End.genEigenspace_nat

Modification history