Theorem LieModule.toEndomorphism_module_end

Modification history