Theorem Module.End.independent_unifEigenspace

Modification history