Theorem LieModule.traceForm_flip

Modification history