Theorem LieModule.isLieAbelian_of_ker_traceForm_eq_bot

Modification history