Theorem LieModule.trace_toEnd_weightSpace

Modification history