Theorem LieModule.trace_toEndomorphism_eq_zero_of_mem_lcs

Modification history