Theorem Module.End.iSup_generalizedEigenspace_inf_le_add

Modification history