{abelian,tensor_product}): rename `maximal_trivial_submodule` → `max_triv_submodule` (#7385)

Commit

4 years ago

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

Author

ocfnash

Parents

e7bd3caa

mathlib 5263ea32 - chore(algebra/lie/{abelian,tensor_product}): rename `maximal_trivial_submodule` → `max_triv_submodule` (#7385)

mathlib
5263ea32 - chore(algebra/lie/{abelian,tensor_product}): rename `maximal_trivial_submodule` → `max_triv_submodule` (#7385)