Commit 2023-11-30 11:39 97065271
View on Github →feat: the annihilator of the kernel of the trace form of a Lie module is contained in the span of its weights (#8739)
feat: the annihilator of the kernel of the trace form of a Lie module is contained in the span of its weights (#8739)