Theorem Module.End.genEigenspace_zero_nat

Modification history