Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-27 11:31 5263ea32

View on Github →

chore(algebra/lie/{abelian,tensor_product}): rename maximal_trivial_submodule → max_triv_submodule (#7385) cf https://github.com/leanprover-community/mathlib/pull/7313#discussion_r619995552

Estimated changes

modified def lie_algebra.center