Theorem Module.End.genEigenspace_inf_le_add

Modification history