Theorem Module.End.injOn_unifEigenspace

Modification history