Theorem LieModule.traceForm_baseChange

Modification history

2026-04-29 11:39
Mathlib/Algebra/Lie/TraceForm.lean
feat: drop IsAlgClosed hypothesis from isNilpotent_derivedSeries_of_traceForm_eq_zero_algClosed (#38542) …
Added LieModule.traceForm_baseChangeView on Github →