Theorem LieModule.Weight.hasEigenvalueAt

Modification history