Theorem LieModule.toEnd_module_end

Modification history