Theorem DirectSum.lie_module_bracket_apply

Modification history