Theorem Module.End.disjoint_unifEigenspace

Modification history