Theorem Module.End.hasGeneralizedEigenvalue_of_hasGeneralizedEigenvalue_of_le

Modification history