Theorem Module.End.injOn_iSup_genEigenspace

Modification history