Theorem LieModule.toEnd_matrix

Modification history